Implementation-Title:   nl.tue.win.riaca.openmath
Implementation-Version: 1.2.1
Implementation-Vendor:  RIACA, Technische Universiteit Eindhoven (TU/e).
Specification-Title:    OpenMath Library
Specification-Version:  1.2
Specification-Vendor:   RIACA, Technische Universiteit Eindhoven (TU/e).