Implementation-Title: nl.tue.win.riaca.openmath.shell Implementation-Version: 1.0.5 Implementation-Vendor: RIACA, Eindhoven University of Technology. Specification-Title: OpenMath Shell Specification-Version: 1.0 Specification-Vendor: RIACA, Eindhoven University of Technology. Main-Class: nl.tue.win.riaca.openmath.shell.OMShell