Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/Makefile
changeset 3190 5aa3756a4bf2
parent 3050 7eacab79b8e1
child 3324 6b26b886ff69 
--- a/src/HOLCF/Makefile	Wed May 14 19:27:59 1997 +0200
+++ b/src/HOLCF/Makefile	Thu May 15 11:35:26 1997 +0200
@@ -67,7 +67,7 @@
 $(BIN)/HOL:
 	cd ../HOL;  $(MAKE)
 
-EX_THYS = ex/Classlib.thy ex/Witness.thy\
+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/Hoare.thy ex/Loop.thy
isabelle