changeset 31129 | d2cead76fca2 |
parent 31126 | d8a6122affd7 |
child 31181 | 27304e12a412 |
--- a/src/HOL/IsaMakefile Tue May 12 21:17:38 2009 +0200 +++ b/src/HOL/IsaMakefile Tue May 12 21:17:47 2009 +0200 @@ -854,7 +854,7 @@ ex/Sudoku.thy ex/Tarski.thy ex/Term_Of_Syntax.thy \ ex/Termination.thy ex/Unification.thy ex/document/root.bib \ ex/document/root.tex ex/set.thy ex/svc_funcs.ML ex/svc_test.thy \ - ex/Predicate_Compile.thy ex/predicate_compile.ML + ex/Predicate_Compile.thy ex/predicate_compile.ML ex/Predicate_Compile_ex.thy @$(ISABELLE_TOOL) usedir $(OUT)/HOL ex