Implementation-Title: nl.tue.win.riaca.openmath Implementation-Version: 1.3.2 Implementation-Vendor: RIACA, Technische Universiteit Eindhoven Specification-Title: OpenMath Library Specification-Version: 1.3 Specification-Vendor: RIACA, Technische Universiteit Eindhoven