# HG changeset patch
# User wenzelm
# Date 863688926 -7200
# Node ID 5aa3756a4bf2f03590e7628202e269d4e4531294
# Parent  50f42a1d7fb9c868b607fd7b4c69afe3941b517b
remove Witness.thy;

diff -r 50f42a1d7fb9 -r 5aa3756a4bf2 src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Wed May 14 19:27:59 1997 +0200
+++ b/src/HOLCF/IsaMakefile	Thu May 15 11:35:26 1997 +0200
@@ -100,7 +100,7 @@
 
 ## Miscellaneous examples
 
-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
diff -r 50f42a1d7fb9 -r 5aa3756a4bf2 src/HOLCF/Makefile
--- 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