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/Pure/Thy/thy_read.ML
changeset 1483 617ca7312ceb
parent 1480 85ecd3439e01
child 1514 3e262b1c0b6c 
--- a/src/Pure/Thy/thy_read.ML	Wed Feb 07 13:36:56 1996 +0100
+++ b/src/Pure/Thy/thy_read.ML	Thu Feb 08 12:26:16 1996 +0100
@@ -1062,7 +1062,7 @@
 
 fun bind_thm (name, thm) =
  (qed_thm := standard thm;
-  store_thm (name, standard thm);
+  store_thm (name, !qed_thm);
   use_string ["val " ^ name ^ " = !qed_thm;"]);
 
 fun qed name =
isabelle