--- 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\