src/HOLCF/IsaMakefile
changeset 3921 e88ea232977c
parent 3505 1cb4ea47d967
child 3951 d52a49a7d8f3
     1.1 --- a/src/HOLCF/IsaMakefile	Fri Oct 17 17:32:27 1997 +0200
     1.2 +++ b/src/HOLCF/IsaMakefile	Fri Oct 17 17:33:22 1997 +0200
     1.3 @@ -99,9 +99,8 @@
     1.4  
     1.5  ## Miscellaneous examples
     1.6  
     1.7 -EX_THYS = ex/Classlib.thy\
     1.8 -	  ex/Dnat.thy ex/Dlist.thy ex/Stream.thy\
     1.9 -	  ex/Dagstuhl.thy ex/Focus_ex.thy ex/Fix2.thy\
    1.10 +EX_THYS = ex/Dnat.thy ex/Dlist.thy ex/Stream.thy \
    1.11 +	  ex/Dagstuhl.thy ex/Focus_ex.thy ex/Fix2.thy \
    1.12  	  ex/Hoare.thy ex/Loop.thy
    1.13  
    1.14  EX_FILES = ex/ROOT.ML ex/loeckx.ML $(EX_THYS) $(EX_THYS:.thy=.ML)