equal
deleted
inserted
replaced
120 $(SRC)/Tools/IsaPlanner/isand.ML \ |
120 $(SRC)/Tools/IsaPlanner/isand.ML \ |
121 $(SRC)/Tools/IsaPlanner/rw_inst.ML \ |
121 $(SRC)/Tools/IsaPlanner/rw_inst.ML \ |
122 $(SRC)/Tools/IsaPlanner/rw_tools.ML \ |
122 $(SRC)/Tools/IsaPlanner/rw_tools.ML \ |
123 $(SRC)/Tools/IsaPlanner/zipper.ML \ |
123 $(SRC)/Tools/IsaPlanner/zipper.ML \ |
124 $(SRC)/Tools/atomize_elim.ML \ |
124 $(SRC)/Tools/atomize_elim.ML \ |
125 $(SRC)/Tools/auto_counterexample.ML \ |
|
126 $(SRC)/Tools/auto_solve.ML \ |
125 $(SRC)/Tools/auto_solve.ML \ |
|
126 $(SRC)/Tools/auto_tools.ML \ |
127 $(SRC)/Tools/coherent.ML \ |
127 $(SRC)/Tools/coherent.ML \ |
128 $(SRC)/Tools/cong_tac.ML \ |
128 $(SRC)/Tools/cong_tac.ML \ |
129 $(SRC)/Tools/eqsubst.ML \ |
129 $(SRC)/Tools/eqsubst.ML \ |
130 $(SRC)/Tools/induct.ML \ |
130 $(SRC)/Tools/induct.ML \ |
131 $(SRC)/Tools/induct_tacs.ML \ |
131 $(SRC)/Tools/induct_tacs.ML \ |