--- a/Makefile Thu Aug 25 11:01:45 1994 +0200
+++ b/Makefile Tue Aug 30 10:04:49 1994 +0200
@@ -24,7 +24,7 @@
Prod.thy Prod.ML Sum.thy Sum.ML WF.thy WF.ML \
mono.thy mono.ML Lfp.thy Lfp.ML Gfp.thy Gfp.ML Nat.thy Nat.ML \
add_ind_def.ML ind_syntax.ML indrule.ML Inductive.ML \
- intr_elim.ML Datatype.ML ../Pure/section_utils.ML\
+ 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 \
@@ -34,7 +34,7 @@
EX_FILES = ex/ROOT.ML ex/cla.ML \
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/PL.ML ex/PL.thy ex/Puzzle.ML ex/Puzzle.thy\
+ ex/PropLog.ML ex/PropLog.thy ex/Puzzle.ML ex/Puzzle.thy\
ex/Qsort.thy ex/Qsort.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