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 31604 eb2f9d709296
parent 31595 bd2f7211a420
child 31706 1db0c8f235fb 
--- a/src/HOL/IsaMakefile	Wed Jun 10 15:04:32 2009 +0200
+++ b/src/HOL/IsaMakefile	Wed Jun 10 15:04:33 2009 +0200
@@ -141,14 +141,14 @@
   Sum_Type.thy \
   Tools/arith_data.ML \
   Tools/cnf_funcs.ML \
-  Tools/datatype_abs_proofs.ML \
-  Tools/datatype_aux.ML \
-  Tools/datatype_case.ML \
-  Tools/datatype_codegen.ML \
-  Tools/datatype_package.ML \
-  Tools/datatype_prop.ML \
-  Tools/datatype_realizer.ML \
-  Tools/datatype_rep_proofs.ML \
+  Tools/datatype_package/datatype_abs_proofs.ML \
+  Tools/datatype_package/datatype_aux.ML \
+  Tools/datatype_package/datatype_case.ML \
+  Tools/datatype_package/datatype_codegen.ML \
+  Tools/datatype_package/datatype_package.ML \
+  Tools/datatype_package/datatype_prop.ML \
+  Tools/datatype_package/datatype_realizer.ML \
+  Tools/datatype_package/datatype_rep_proofs.ML \
   Tools/dseq.ML \
   Tools/function_package/auto_term.ML \
   Tools/function_package/context_tree.ML \
isabelle