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 setup for code generator.
authorberghofe
Tue, 26 Oct 2004 16:31:09 +0200
changeset 15260 a12e999a0113
parent 15259 6aa593317905
child 15261 ba3c9fdbace3
Added setup for code generator.
src/HOL/Typedef.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Typedef.thy	Tue Oct 26 16:30:32 2004 +0200
+++ b/src/HOL/Typedef.thy	Tue Oct 26 16:31:09 2004 +0200
@@ -84,4 +84,6 @@
 
 use "Tools/typedef_package.ML"
 
+setup TypedefPackage.setup
+
 end
isabelle