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