1open HolKernel Parse boolLib >>>> origin/master <<<<
2
3val _ = new_theory "weirdopen";
4
5
6
7
8val _ = export_theory();
9