--- a/Makefile Mon Nov 28 16:45:29 1994 +0100
+++ b/Makefile Thu Dec 01 17:35:03 1994 +0100
@@ -20,7 +20,7 @@
COMP = $(ISABELLECOMP)
FILES = ROOT.ML HOL.thy HOL.ML simpdata.ML Ord.thy Ord.ML \
Set.thy Set.ML Fun.thy Fun.ML subset.thy subset.ML \
- equalities.thy equalities.ML \
+ equalities.thy equalities.ML thy_syntax.ML \
Prod.thy Prod.ML Trancl.ML Trancl.thy 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 Inductive.thy \