1.1 --- a/src/HOLCF/IsaMakefile	Mon Feb 24 09:46:12 1997 +0100
     1.2 +++ b/src/HOLCF/IsaMakefile	Mon Feb 24 16:12:24 1997 +0100
     1.3 @@ -45,18 +45,4 @@
     1.4  test: ex/ROOT.ML $(OUT)/HOLCF $(EX_FILES)
     1.5  	@$(ISATOOL) testdir $(OUT)/HOLCF ex
     1.6  
     1.7 -
     1.8 -## Explicit domains
     1.9 -#
    1.10 -#EXPLICIT_DOMAINS_THYS = explicit_domains/Dnat.thy explicit_domains/Dnat2.thy\
    1.11 -#		 explicit_domains/Dlist.thy \
    1.12 -#		 explicit_domains/Stream.thy explicit_domains/Stream2.thy
    1.13 -
    1.14 -#EXPLICIT_DOMAINS_FILES = explicit_domains/ROOT.ML $(EXPLICIT_DOMAINS_THYS) \
    1.15 -#			 $(EXPLICIT_DOMAINS_THYS:.thy=.ML)
    1.16 -#
    1.17 -#test2: explicit_domains/ROOT.ML $(OUT)/HOLCF $(EXPLICIT_DOMAINS_FILES)
    1.18 -#	@$(ISATOOL) testdir $(OUT)/HOLCF explicit_domains
    1.19 -
    1.20 -
    1.21  .PRECIOUS: $(OUT)/HOL $(OUT)/HOLCF