equal
deleted
inserted
replaced
87 $(SRC)/Provers/order.ML \ |
87 $(SRC)/Provers/order.ML \ |
88 $(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML \ |
88 $(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML \ |
89 $(SRC)/Provers/quasi.ML $(SRC)/Provers/splitter.ML \ |
89 $(SRC)/Provers/quasi.ML $(SRC)/Provers/splitter.ML \ |
90 $(SRC)/Provers/trancl.ML $(SRC)/Tools/Metis/metis.ML \ |
90 $(SRC)/Provers/trancl.ML $(SRC)/Tools/Metis/metis.ML \ |
91 $(SRC)/Tools/code/code_funcgr.ML $(SRC)/Tools/code/code_name.ML \ |
91 $(SRC)/Tools/code/code_funcgr.ML $(SRC)/Tools/code/code_name.ML \ |
92 $(SRC)/Tools/code/code_package.ML $(SRC)/Tools/code/code_target.ML \ |
92 $(SRC)/Tools/code/code_target.ML \ |
93 $(SRC)/Tools/code/code_thingol.ML $(SRC)/Tools/nbe.ML $(SRC)/Tools/atomize_elim.ML \ |
93 $(SRC)/Tools/code/code_thingol.ML $(SRC)/Tools/nbe.ML $(SRC)/Tools/atomize_elim.ML \ |
94 $(SRC)/Tools/random_word.ML $(SRC)/Tools/rat.ML Tools/TFL/casesplit.ML ATP_Linkup.thy \ |
94 $(SRC)/Tools/random_word.ML $(SRC)/Tools/rat.ML Tools/TFL/casesplit.ML ATP_Linkup.thy \ |
95 Arith_Tools.thy Code_Setup.thy Datatype.thy \ |
95 Arith_Tools.thy Code_Setup.thy Datatype.thy \ |
96 Divides.thy Equiv_Relations.thy Extraction.thy \ |
96 Divides.thy Equiv_Relations.thy Extraction.thy \ |
97 Finite_Set.thy Fun.thy FunDef.thy HOL.thy \ |
97 Finite_Set.thy Fun.thy FunDef.thy HOL.thy \ |