| changeset 48506 | af1dabad14c0 |
| parent 42512 | f1ca2b0e0265 |
| child 48519 | 5deda0549f97 |
--- a/doc-src/TutorialI/IsaMakefile Wed Jul 25 22:30:18 2012 +0200 +++ b/doc-src/TutorialI/IsaMakefile Wed Jul 25 23:02:50 2012 +0200 @@ -121,7 +121,7 @@ HOL-Advanced: HOL $(LOG)/HOL-Advanced.gz -$(LOG)/HOL-Advanced.gz: $(OUT)/HOL Advanced/simp.thy Advanced/ROOT.ML +$(LOG)/HOL-Advanced.gz: $(OUT)/HOL Advanced/simp2.thy Advanced/ROOT.ML $(USEDIR) Advanced @rm -f Advanced/document/isabelle.sty @rm -f Advanced/document/isabellesym.sty