Lines Matching defs:Parse
4 open HolKernel Parse boolLib bossLib computeLib
11 structure Parse = struct
12 open Parse
15 open Parse
302 val N = Parse.Term n
2554 Parse.print_term t2;
2729 Parse.temp_add_user_printer
2774 General.ignore (Parse.remove_user_printer "wordsLib.print_word")
2876 ; Parse.temp_add_user_printer
2880 (word_cast_on := false; Parse.remove_user_printer "wordsLib.word_cast"; ())
2966 val _ = Parse.post_process_term :=
2967 (word_post_process_term o !Parse.post_process_term)