1
1 (*ID: $Id$*)
2 header {* Meson test cases *}
3
4 theory mesontest2 = Main:
5
6 hide const inverse divide
7
8 end
6 end