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