--- a/Makefile Tue Sep 27 13:23:04 1994 +0100
+++ b/Makefile Wed Sep 28 12:39:32 1994 +0100
@@ -27,7 +27,7 @@
intr_elim.ML datatype.ML ../Pure/section_utils.ML\
Finite.ML Finite.thy\
Arith.thy Arith.ML Sexp.thy Sexp.ML Univ.thy Univ.ML \
- LList.thy LList.ML List.thy List.ML \
+ List.thy List.ML \
../Provers/classical.ML ../Provers/simplifier.ML \
../Provers/splitter.ML ../Provers/ind.ML
@@ -38,7 +38,7 @@
ex/LexProd.ML ex/LexProd.thy ex/meson.ML ex/mesontest.ML\
ex/MT.ML ex/MT.thy ex/Acc.ML ex/Acc.thy \
ex/PropLog.ML ex/PropLog.thy ex/Puzzle.ML ex/Puzzle.thy\
- ex/Qsort.thy ex/Qsort.ML\
+ ex/Qsort.thy ex/Qsort.ML ex/LList.thy ex/LList.ML \
ex/Rec.ML ex/Rec.thy ex/rel.ML ex/set.ML ex/Simult.ML ex/Simult.thy\
ex/Term.ML ex/Term.thy