Implementation-Title: nl.tue.win.riaca.mathematica.phrasebook Implementation-Version: 1.3.2 Implementation-Vendor: RIACA, Technische Universiteit Eindhoven Specification-Title: Mathematica Phrasebook Specification-Version: 1.3 Specification-Vendor: RIACA, Technische Universiteit Eindhoven