src/HOL/IsaMakefile
changeset 33471 5aef13872723
parent 33469 0183f9545fa2
child 33533 40b44cb20c8c
     1.1 --- a/src/HOL/IsaMakefile	Fri Nov 06 13:49:19 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Nov 06 14:42:42 2009 +0100
     1.3 @@ -180,7 +180,7 @@
     1.4    Tools/Function/function_lib.ML \
     1.5    Tools/Function/function.ML \
     1.6    Tools/Function/fun.ML \
     1.7 -  Tools/Function/induction_scheme.ML \
     1.8 +  Tools/Function/induction_schema.ML \
     1.9    Tools/Function/lexicographic_order.ML \
    1.10    Tools/Function/measure_functions.ML \
    1.11    Tools/Function/mutual.ML \
    1.12 @@ -939,7 +939,7 @@
    1.13    ex/Efficient_Nat_examples.thy ex/Eval_Examples.thy ex/Fundefs.thy	\
    1.14    ex/Groebner_Examples.thy ex/Guess.thy ex/HarmonicSeries.thy		\
    1.15    ex/Hebrew.thy ex/Hex_Bin_Examples.thy ex/Higher_Order_Logic.thy	\
    1.16 -  ex/Hilbert_Classical.thy ex/Induction_Scheme.thy			\
    1.17 +  ex/Hilbert_Classical.thy ex/Induction_Schema.thy			\
    1.18    ex/InductiveInvariant.thy ex/InductiveInvariant_examples.thy		\
    1.19    ex/Intuitionistic.thy ex/Lagrange.thy ex/LocaleTest2.thy ex/MT.thy	\
    1.20    ex/MergeSort.thy ex/Meson_Test.thy ex/MonoidGroup.thy			\