--- 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