1.1 --- a/src/LCF/Makefile	Tue Nov 09 16:09:34 1993 +0100
     1.2 +++ b/src/LCF/Makefile	Tue Nov 09 16:32:24 1993 +0100
     1.3 @@ -18,7 +18,7 @@
     1.4  
     1.5  BIN = $(ISABELLEBIN)
     1.6  COMP = $(ISABELLECOMP)
     1.7 -FILES =  ROOT.ML lcf.thy lcf.ML simpdata.ML pair.ML fix.ML ex.ML
     1.8 +FILES =  ROOT.ML lcf.thy lcf.ML simpdata.ML pair.ML fix.ML
     1.9  
    1.10  #Uses cp rather than make_database because Poly/ML allows only 3 levels
    1.11  $(BIN)/LCF:   $(BIN)/FOL  $(FILES)