equal
deleted
inserted
replaced
136 $(SRC)/Tools/IsaPlanner/isand.ML \ |
136 $(SRC)/Tools/IsaPlanner/isand.ML \ |
137 $(SRC)/Tools/IsaPlanner/rw_inst.ML \ |
137 $(SRC)/Tools/IsaPlanner/rw_inst.ML \ |
138 $(SRC)/Tools/IsaPlanner/rw_tools.ML \ |
138 $(SRC)/Tools/IsaPlanner/rw_tools.ML \ |
139 $(SRC)/Tools/IsaPlanner/zipper.ML \ |
139 $(SRC)/Tools/IsaPlanner/zipper.ML \ |
140 $(SRC)/Tools/atomize_elim.ML \ |
140 $(SRC)/Tools/atomize_elim.ML \ |
141 $(SRC)/Tools/auto_tools.ML \ |
|
142 $(SRC)/Tools/case_product.ML \ |
141 $(SRC)/Tools/case_product.ML \ |
143 $(SRC)/Tools/coherent.ML \ |
142 $(SRC)/Tools/coherent.ML \ |
144 $(SRC)/Tools/cong_tac.ML \ |
143 $(SRC)/Tools/cong_tac.ML \ |
145 $(SRC)/Tools/eqsubst.ML \ |
144 $(SRC)/Tools/eqsubst.ML \ |
146 $(SRC)/Tools/induct.ML \ |
145 $(SRC)/Tools/induct.ML \ |
149 $(SRC)/Tools/misc_legacy.ML \ |
148 $(SRC)/Tools/misc_legacy.ML \ |
150 $(SRC)/Tools/nbe.ML \ |
149 $(SRC)/Tools/nbe.ML \ |
151 $(SRC)/Tools/project_rule.ML \ |
150 $(SRC)/Tools/project_rule.ML \ |
152 $(SRC)/Tools/quickcheck.ML \ |
151 $(SRC)/Tools/quickcheck.ML \ |
153 $(SRC)/Tools/solve_direct.ML \ |
152 $(SRC)/Tools/solve_direct.ML \ |
|
153 $(SRC)/Tools/try.ML \ |
154 $(SRC)/Tools/value.ML \ |
154 $(SRC)/Tools/value.ML \ |
155 HOL.thy \ |
155 HOL.thy \ |
156 Tools/hologic.ML \ |
156 Tools/hologic.ML \ |
157 Tools/recfun_codegen.ML \ |
157 Tools/recfun_codegen.ML \ |
158 Tools/simpdata.ML |
158 Tools/simpdata.ML |