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/TLA/Intensional.ML
changeset 4089 96fba19bcbe2
parent 3945 ae9c61d69888
child 6255 db63752140c7 
--- a/src/HOL/TLA/Intensional.ML	Mon Nov 03 12:12:10 1997 +0100
+++ b/src/HOL/TLA/Intensional.ML	Mon Nov 03 12:13:18 1997 +0100
@@ -89,7 +89,7 @@
 	 Const("Intensional.TrueInt",_) $ p => int_unlift th
        | _ => th);
 
-simpset := !simpset setmksimps ((mksimps mksimps_pairs) o maybe_unlift);
+simpset_ref() := simpset() setmksimps ((mksimps mksimps_pairs) o maybe_unlift);
 
 
 (* ==================== Rewrites for abstractions ==================== *)
isabelle