Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed Classlib;
authorwenzelm
Fri, 17 Oct 1997 17:33:22 +0200
changeset 3921 e88ea232977c
parent 3920 176d617a8ba8
child 3922 ca23ee574faa
removed Classlib;
src/HOLCF/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/IsaMakefile	Fri Oct 17 17:32:27 1997 +0200
+++ b/src/HOLCF/IsaMakefile	Fri Oct 17 17:33:22 1997 +0200
@@ -99,9 +99,8 @@
 
 ## Miscellaneous examples
 
-EX_THYS = ex/Classlib.thy\
-	  ex/Dnat.thy ex/Dlist.thy ex/Stream.thy\
-	  ex/Dagstuhl.thy ex/Focus_ex.thy ex/Fix2.thy\
+EX_THYS = ex/Dnat.thy ex/Dlist.thy ex/Stream.thy \
+	  ex/Dagstuhl.thy ex/Focus_ex.thy ex/Fix2.thy \
 	  ex/Hoare.thy ex/Loop.thy
 
 EX_FILES = ex/ROOT.ML ex/loeckx.ML $(EX_THYS) $(EX_THYS:.thy=.ML)
isabelle