1open HolKernel Parse boolLib
2
3val _ = new_theory "gh294b";
4
5val _ = type_abbrev_pp("foo", ``:bool -> bool -> bool``)
6
7
8val _ = export_theory();
9