# HG changeset patch
# User wenzelm
# Date 971983280 -7200
# Node ID 130ff5eb2b80657422f8659a40961d93915f71e5
# Parent  59570adf2d3c9436fc3a5bd055116b62b783d27c
added Tools/induct_attrib.ML;

diff -r 59570adf2d3c -r 130ff5eb2b80 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Oct 19 21:20:53 2000 +0200
+++ b/src/HOL/IsaMakefile	Thu Oct 19 21:21:20 2000 +0200
@@ -89,7 +89,7 @@
   SetInterval.thy String.thy Sum_Type.ML Sum_Type.thy \
   Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML \
   Tools/datatype_package.ML Tools/datatype_prop.ML \
-  Tools/datatype_rep_proofs.ML Tools/induct_method.ML \
+  Tools/datatype_rep_proofs.ML Tools/induct_attrib.ML Tools/induct_method.ML \
   Tools/inductive_package.ML Tools/meson.ML Tools/numeral_syntax.ML \
   Tools/primrec_package.ML Tools/recdef_package.ML \
   Tools/record_package.ML Tools/svc_funcs.ML Tools/typedef_package.ML \