Implementation-Title: nl.tue.win.riaca.openmath Implementation-Version: 1.1.7 Implementation-Vendor: RIACA, Eindhoven University of Technology. Specification-Title: OpenMath Library Specification-Version: 1.1 Specification-Vendor: RIACA, Eindhoven University of Technology.