equal
deleted
inserted
replaced
81 $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ |
81 $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ |
82 $(SRC)/Provers/eqsubst.ML $(SRC)/Provers/hypsubst.ML \ |
82 $(SRC)/Provers/eqsubst.ML $(SRC)/Provers/hypsubst.ML \ |
83 $(SRC)/Provers/induct_method.ML $(SRC)/Provers/order.ML \ |
83 $(SRC)/Provers/induct_method.ML $(SRC)/Provers/order.ML \ |
84 $(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML \ |
84 $(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML \ |
85 $(SRC)/Provers/quasi.ML $(SRC)/Provers/splitter.ML \ |
85 $(SRC)/Provers/quasi.ML $(SRC)/Provers/splitter.ML \ |
86 $(SRC)/Provers/trancl.ML $(SRC)/Tools/integer.ML $(SRC)/Tools/Metis/metis.ML\ |
86 $(SRC)/Provers/trancl.ML $(SRC)/Tools/Metis/metis.ML\ |
87 $(SRC)/Tools/code/code_funcgr.ML \ |
87 $(SRC)/Tools/code/code_funcgr.ML \ |
88 $(SRC)/Tools/code/code_name.ML $(SRC)/Tools/code/code_package.ML \ |
88 $(SRC)/Tools/code/code_name.ML $(SRC)/Tools/code/code_package.ML \ |
89 $(SRC)/Tools/code/code_target.ML $(SRC)/Tools/code/code_thingol.ML \ |
89 $(SRC)/Tools/code/code_target.ML $(SRC)/Tools/code/code_thingol.ML \ |
90 $(SRC)/Tools/nbe.ML $(SRC)/Tools/rat.ML Tools/TFL/casesplit.ML ATP_Linkup.thy \ |
90 $(SRC)/Tools/nbe.ML $(SRC)/Tools/rat.ML Tools/TFL/casesplit.ML ATP_Linkup.thy \ |
91 Accessible_Part.thy Arith_Tools.thy Code_Setup.thy Datatype.thy \ |
91 Accessible_Part.thy Arith_Tools.thy Code_Setup.thy Datatype.thy \ |