diff -r 32b84b520cd3 -r 385296e2c2f9 Makefile
--- a/Makefile	Fri Nov 25 20:06:15 1994 +0100
+++ b/Makefile	Fri Nov 25 20:07:22 1994 +0100
@@ -23,7 +23,7 @@
 	equalities.thy equalities.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 \
+	add_ind_def.ML ind_syntax.ML indrule.ML Inductive.ML Inductive.thy \
 	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 \
@@ -32,7 +32,8 @@
 	../Provers/splitter.ML ../Provers/ind.ML
 
 IMP_FILES = IMP/ROOT.ML IMP/Com.ML IMP/Com.thy IMP/Denotation.ML\
-            IMP/Denotation.thy IMP/Equiv.ML IMP/Equiv.thy
+            IMP/Denotation.thy IMP/Equiv.ML IMP/Equiv.thy\
+            IMP/Properties.thy IMP/Properties.ML
 
 IOA_FILES = IOA/ROOT.ML IOA/example/Action.ML IOA/example/Action.thy\
             IOA/example/Channels.ML IOA/example/Channels.thy\