changeset 30980 | fe0855471964 |
parent 30973 | 304ab57afa6e |
child 31036 | 64ff53fc0c0c |
--- a/src/HOL/IsaMakefile Sat Apr 25 20:31:27 2009 +0200 +++ b/src/HOL/IsaMakefile Sat Apr 25 21:28:04 2009 +0200 @@ -89,6 +89,7 @@ $(SRC)/Tools/IsaPlanner/rw_tools.ML \ $(SRC)/Tools/IsaPlanner/zipper.ML \ $(SRC)/Tools/atomize_elim.ML \ + $(SRC)/Tools/auto_solve.ML \ $(SRC)/Tools/code/code_haskell.ML \ $(SRC)/Tools/code/code_ml.ML \ $(SRC)/Tools/code/code_name.ML \