Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added new files
authorhaftmann
Mon, 14 Aug 2006 13:46:08 +0200
changeset 20381 dbc1d8541bfb
parent 20380 14f9f2a1caa6
child 20382 39964c8dcd54
added new files
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Mon Aug 14 13:46:06 2006 +0200
+++ b/src/HOL/IsaMakefile	Mon Aug 14 13:46:08 2006 +0200
@@ -107,7 +107,7 @@
   Tools/ATP/watcher.ML 					\
   Tools/cnf_funcs.ML					\
   Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML				\
-  Tools/datatype_codegen.ML Tools/datatype_package.ML				\
+  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		\
isabelle