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/ZF/Coind/Static.ML
changeset 4091 771b1f6422a8
parent 2469 b50b8c0eec01
child 6141 a6922171b396 
--- a/src/ZF/Coind/Static.ML	Mon Nov 03 12:22:43 1997 +0100
+++ b/src/ZF/Coind/Static.ML	Mon Nov 03 12:24:13 1997 +0100
@@ -22,7 +22,7 @@
   ElabRel.mk_cases Exp.con_defs "<te,e_app(e1,e2),t>:ElabRel";
 
 let open ElabRel in 
-claset := !claset addSIs [elab_constI,elab_varI,elab_fnI,elab_fixI]
+claset_ref() := claset() addSIs [elab_constI,elab_varI,elab_fnI,elab_fixI]
                   addSEs [elab_constE,elab_varE,elab_fixE]
 		  addIs [elab_appI]
 		  addEs [elab_appE,elab_fnE]
isabelle