src/HOL/IsaMakefile
changeset 33471 5aef13872723
parent 33469 0183f9545fa2
child 33533 40b44cb20c8c
--- 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			\