Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
*** empty log message ***
authornipkow
Mon, 21 Aug 2000 17:54:43 +0200
changeset 96663572fc1dbe6b
parent 9665 2a6d7f1409f9
child 9667 48cefe2daf32
*** empty log message ***
doc-src/TutorialI/IsaMakefile file | annotate | diff | comparison | revisions 
     1.1 --- a/doc-src/TutorialI/IsaMakefile	Mon Aug 21 13:47:24 2000 +0200
     1.2 +++ b/doc-src/TutorialI/IsaMakefile	Mon Aug 21 17:54:43 2000 +0200
     1.3 @@ -67,7 +67,7 @@
     1.4  HOL-Datatype: HOL $(LOG)/HOL-Datatype.gz
     1.5  
     1.6  $(LOG)/HOL-Datatype.gz: $(OUT)/HOL Datatype/ROOT.ML Datatype/ABexpr.thy \
     1.7 -  Datatype/Nested.thy Datatype/Nested2.thy Datatype/unfoldnested.thy \
     1.8 +  Datatype/Nested.thy Datatype/unfoldnested.thy \
     1.9    Datatype/Fundata.thy
    1.10  	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Datatype
    1.11  	@rm -f tutorial.dvi
wneuper/isa