# HG changeset patch
# User oheimb
# Date 880109663 -3600
# Node ID a434327aef8b29853c06981fc9590ed7702c4a3c
# Parent  e4113a68288312b3d0662bf5b7fa3a7189d8b506
corrected INDUCT_FILES

diff -r e4113a682883 -r a434327aef8b src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Nov 20 16:24:05 1997 +0100
+++ b/src/HOL/IsaMakefile	Fri Nov 21 11:54:23 1997 +0100
@@ -36,7 +36,7 @@
 
 ## Inductive definitions: simple examples
 
-INDUCT_FILES =  Perm Comb Mutil SList LList LFilter Acc PropLog Term Simult
+INDUCT_FILES = Perm Comb Mutil SList LList LFilter Acc PropLog Term Simult Com Exp
 
 INDUCT_FILES = Induct/ROOT.ML \
 	    $(INDUCT_NAMES:%=Induct/%.thy) $(INDUCT_NAMES:%=Induct/%.ML)