Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 21018 e6b8d6784792
parent 20866 bc366b4b6ea4
child 21046 fe1db2f991a7 
--- a/src/HOL/IsaMakefile	Fri Oct 13 18:10:16 2006 +0200
+++ b/src/HOL/IsaMakefile	Fri Oct 13 18:12:58 2006 +0200
@@ -106,7 +106,7 @@
   Tools/datatype_codegen.ML Tools/datatype_hooks.ML Tools/datatype_package.ML	\
   Tools/datatype_prop.ML Tools/datatype_realizer.ML				\
   Tools/datatype_rep_proofs.ML Tools/inductive_codegen.ML			\
-  Tools/inductive_package.ML Tools/inductive_realizer.ML Tools/meson.ML		\
+  Tools/inductive_package.ML Tools/old_inductive_package.ML Tools/inductive_realizer.ML Tools/meson.ML		\
   Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/prop_logic.ML		\
   Tools/polyhash.ML \
   Tools/recdef_package.ML Tools/recfun_codegen.ML				\
isabelle