changeset 35972 | 142c3784a42b |
parent 35959 | b88e061754a1 |
parent 35967 | b9659daa5b4b |
child 36032 | dfd30b5b4e73 |
child 36060 | 4d27652ffb40 |
--- a/src/HOL/IsaMakefile Wed Mar 24 22:30:33 2010 +0100 +++ b/src/HOL/IsaMakefile Thu Mar 25 17:56:31 2010 +0100 @@ -322,6 +322,7 @@ Tools/Sledgehammer/sledgehammer_hol_clause.ML \ Tools/Sledgehammer/sledgehammer_isar.ML \ Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML \ + Tools/Sledgehammer/sledgehammer_util.ML \ Tools/string_code.ML \ Tools/string_syntax.ML \ Tools/transfer.ML \