equal
deleted
inserted
replaced
99 $(SRC)/Provers/clasimp.ML \ |
99 $(SRC)/Provers/clasimp.ML \ |
100 $(SRC)/Provers/classical.ML \ |
100 $(SRC)/Provers/classical.ML \ |
101 $(SRC)/Provers/hypsubst.ML \ |
101 $(SRC)/Provers/hypsubst.ML \ |
102 $(SRC)/Provers/quantifier1.ML \ |
102 $(SRC)/Provers/quantifier1.ML \ |
103 $(SRC)/Provers/splitter.ML \ |
103 $(SRC)/Provers/splitter.ML \ |
|
104 $(SRC)/Tools/Auto_Counterexample.thy \ |
104 $(SRC)/Tools/Code/code_haskell.ML \ |
105 $(SRC)/Tools/Code/code_haskell.ML \ |
105 $(SRC)/Tools/Code/code_ml.ML \ |
106 $(SRC)/Tools/Code/code_ml.ML \ |
106 $(SRC)/Tools/Code/code_preproc.ML \ |
107 $(SRC)/Tools/Code/code_preproc.ML \ |
107 $(SRC)/Tools/Code/code_printer.ML \ |
108 $(SRC)/Tools/Code/code_printer.ML \ |
108 $(SRC)/Tools/Code/code_target.ML \ |
109 $(SRC)/Tools/Code/code_target.ML \ |
111 $(SRC)/Tools/IsaPlanner/isand.ML \ |
112 $(SRC)/Tools/IsaPlanner/isand.ML \ |
112 $(SRC)/Tools/IsaPlanner/rw_inst.ML \ |
113 $(SRC)/Tools/IsaPlanner/rw_inst.ML \ |
113 $(SRC)/Tools/IsaPlanner/rw_tools.ML \ |
114 $(SRC)/Tools/IsaPlanner/rw_tools.ML \ |
114 $(SRC)/Tools/IsaPlanner/zipper.ML \ |
115 $(SRC)/Tools/IsaPlanner/zipper.ML \ |
115 $(SRC)/Tools/atomize_elim.ML \ |
116 $(SRC)/Tools/atomize_elim.ML \ |
|
117 $(SRC)/Tools/auto_counterexample.ML \ |
116 $(SRC)/Tools/auto_solve.ML \ |
118 $(SRC)/Tools/auto_solve.ML \ |
117 $(SRC)/Tools/coherent.ML \ |
119 $(SRC)/Tools/coherent.ML \ |
118 $(SRC)/Tools/cong_tac.ML \ |
120 $(SRC)/Tools/cong_tac.ML \ |
119 $(SRC)/Tools/eqsubst.ML \ |
121 $(SRC)/Tools/eqsubst.ML \ |
120 $(SRC)/Tools/induct.ML \ |
122 $(SRC)/Tools/induct.ML \ |