--- a/src/HOL/IsaMakefile Fri Nov 06 13:49:19 2009 +0100
+++ b/src/HOL/IsaMakefile Fri Nov 06 14:42:42 2009 +0100
@@ -180,7 +180,7 @@
Tools/Function/function_lib.ML \
Tools/Function/function.ML \
Tools/Function/fun.ML \
- Tools/Function/induction_scheme.ML \
+ Tools/Function/induction_schema.ML \
Tools/Function/lexicographic_order.ML \
Tools/Function/measure_functions.ML \
Tools/Function/mutual.ML \
@@ -939,7 +939,7 @@
ex/Efficient_Nat_examples.thy ex/Eval_Examples.thy ex/Fundefs.thy \
ex/Groebner_Examples.thy ex/Guess.thy ex/HarmonicSeries.thy \
ex/Hebrew.thy ex/Hex_Bin_Examples.thy ex/Higher_Order_Logic.thy \
- ex/Hilbert_Classical.thy ex/Induction_Scheme.thy \
+ ex/Hilbert_Classical.thy ex/Induction_Schema.thy \
ex/InductiveInvariant.thy ex/InductiveInvariant_examples.thy \
ex/Intuitionistic.thy ex/Lagrange.thy ex/LocaleTest2.thy ex/MT.thy \
ex/MergeSort.thy ex/Meson_Test.thy ex/MonoidGroup.thy \