diff -r d5fe793293ac -r 3eac428cdd1b src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Mon Feb 24 09:46:12 1997 +0100
+++ b/src/HOLCF/IsaMakefile	Mon Feb 24 16:12:24 1997 +0100
@@ -45,18 +45,4 @@
 test: ex/ROOT.ML $(OUT)/HOLCF $(EX_FILES)
 	@$(ISATOOL) testdir $(OUT)/HOLCF ex
 
-
-## Explicit domains
-#
-#EXPLICIT_DOMAINS_THYS = explicit_domains/Dnat.thy explicit_domains/Dnat2.thy\
-#		 explicit_domains/Dlist.thy \
-#		 explicit_domains/Stream.thy explicit_domains/Stream2.thy
-
-#EXPLICIT_DOMAINS_FILES = explicit_domains/ROOT.ML $(EXPLICIT_DOMAINS_THYS) \
-#			 $(EXPLICIT_DOMAINS_THYS:.thy=.ML)
-#
-#test2: explicit_domains/ROOT.ML $(OUT)/HOLCF $(EXPLICIT_DOMAINS_FILES)
-#	@$(ISATOOL) testdir $(OUT)/HOLCF explicit_domains
-
-
 .PRECIOUS: $(OUT)/HOL $(OUT)/HOLCF