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 23734 0e11b904b3a3
parent 23666 48816d825078
child 23772 b96db2903a9a 
--- a/src/HOL/IsaMakefile	Wed Jul 11 10:53:39 2007 +0200
+++ b/src/HOL/IsaMakefile	Wed Jul 11 10:59:23 2007 +0200
@@ -117,10 +117,10 @@
   Tools/function_package/lexicographic_order.ML				\
   Tools/function_package/mutual.ML					\
   Tools/function_package/pattern_split.ML Tools/inductive_codegen.ML	\
-  Tools/inductive_package.ML Tools/inductive_realizer.ML Tools/meson.ML	\
+  Tools/inductive_package.ML Tools/inductive_realizer.ML		\
+  Tools/inductive_set_package.ML Tools/meson.ML				\
   Tools/metis_tools.ML Tools/numeral.ML Tools/numeral_syntax.ML		\
-  Tools/old_inductive_package.ML Tools/polyhash.ML 			\
-  Tools/primrec_package.ML Tools/prop_logic.ML 	\
+  Tools/polyhash.ML Tools/primrec_package.ML Tools/prop_logic.ML 	\
   Tools/recdef_package.ML Tools/recfun_codegen.ML			\
   Tools/record_package.ML Tools/refute.ML Tools/refute_isar.ML		\
   Tools/res_atp.ML Tools/res_atp_methods.ML Tools/res_atp_provers.ML	\
isabelle