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 Tools/typedef_codegen.ML
authorhaftmann
Tue, 08 Aug 2006 08:19:06 +0200
changeset 20349 1bf581bc4d60
parent 20348 d59364649bcc
child 20350 54fe257afd4f
added Tools/typedef_codegen.ML
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Tue Aug 08 08:18:59 2006 +0200
+++ b/src/HOL/IsaMakefile	Tue Aug 08 08:19:06 2006 +0200
@@ -119,7 +119,8 @@
   Tools/res_clause.ML Tools/rewrite_hol_proof.ML	\
   Tools/sat_funcs.ML					\
   Tools/sat_solver.ML Tools/specification_package.ML Tools/split_rule.ML	\
-  Tools/typedef_package.ML Transitive_Closure.ML Transitive_Closure.thy		\
+  Tools/typedef_package.ML Tools/typedef_codegen.ML	\
+  Transitive_Closure.ML Transitive_Closure.thy		\
   Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy		\
   antisym_setup.ML arith_data.ML blastdata.ML cladata.ML			\
   document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy 			\
isabelle