| changeset 11401 | 26cbf43d76af |
| parent 11389 | 55e2aef8909b |
| child 11428 | 332347b9b942 |
--- a/doc-src/TutorialI/IsaMakefile Mon Jul 09 13:43:02 2001 +0200 +++ b/doc-src/TutorialI/IsaMakefile Wed Jul 11 10:50:18 2001 +0200 @@ -36,8 +36,7 @@ @rm -f */document/isabellesym.sty @rm -f */document/pdfsetup.sty @rm -f */document/session.tex - @rm -f Rules/document/*.tex - @rm -f Sets/document/*.tex + ## HOL-Ifexpr