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