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.
Sign.const_monomorphic;
authorwenzelm
Wed, 02 Nov 2005 14:46:49 +0100
changeset 18056 397b39b06ec8
parent 18055 a93881a4422d
child 18057 ad97e231bf8a
Sign.const_monomorphic;
src/HOL/Tools/res_clause.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/res_clause.ML	Wed Nov 02 14:46:47 2005 +0100
+++ b/src/HOL/Tools/res_clause.ML	Wed Nov 02 14:46:49 2005 +0100
@@ -290,7 +290,7 @@
 
 (*Initialize the type suppression mechanism with the current theory before
     producing any clauses!*)
-fun init thy = (monomorphic := Sign.monomorphic thy);
+fun init thy = (monomorphic := Sign.const_monomorphic thy);
     
 
 (*Flatten a type to a string while accumulating sort constraints on the TFress and
isabelle