corrected INDUCT_FILES
authoroheimb
Fri Nov 21 11:54:23 1997 +0100 (1997-11-21)
changeset 4263a434327aef8b
parent 4262 e4113a682883
child 4264 5e21f41ccd21
corrected INDUCT_FILES
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Thu Nov 20 16:24:05 1997 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Nov 21 11:54:23 1997 +0100
     1.3 @@ -36,7 +36,7 @@
     1.4  
     1.5  ## Inductive definitions: simple examples
     1.6  
     1.7 -INDUCT_FILES =  Perm Comb Mutil SList LList LFilter Acc PropLog Term Simult
     1.8 +INDUCT_FILES = Perm Comb Mutil SList LList LFilter Acc PropLog Term Simult Com Exp
     1.9  
    1.10  INDUCT_FILES = Induct/ROOT.ML \
    1.11  	    $(INDUCT_NAMES:%=Induct/%.thy) $(INDUCT_NAMES:%=Induct/%.ML)