changeset 41827 | 98eda7ffde79 |
parent 40239 | c4336e45f199 |
child 42138 | e54a985daa61 |
--- a/src/FOL/IsaMakefile Wed Dec 08 18:18:36 2010 +0100 +++ b/src/FOL/IsaMakefile Wed Feb 23 11:23:26 2011 +0100 @@ -28,6 +28,7 @@ $(OUT)/FOL: $(OUT)/Pure $(SRC)/Provers/blast.ML \ $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ + $(SRC)/Tools/case_product.ML \ $(SRC)/Tools/IsaPlanner/zipper.ML $(SRC)/Tools/IsaPlanner/isand.ML \ $(SRC)/Tools/IsaPlanner/rw_tools.ML \ $(SRC)/Tools/IsaPlanner/rw_inst.ML $(SRC)/Tools/eqsubst.ML \