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.
fixed BUG in have_thmss: return thy';
authorwenzelm
Fri, 04 Jun 1999 19:51:56 +0200
changeset 6769 4b1bd69dfe0b
parent 6768 26d64339c25a
child 6770 7eb14a4047e3
fixed BUG in have_thmss: return thy';
src/Pure/pure_thy.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/pure_thy.ML	Fri Jun 04 19:51:26 1999 +0200
+++ b/src/Pure/pure_thy.ML	Fri Jun 04 19:51:56 1999 +0200
@@ -275,7 +275,7 @@
       (case opt_bname of
         None => thms'
       | Some bname => enter_thmx (Theory.sign_of thy') name_multi (bname, thms'));
-  in (thy, thms'') end;
+  in (thy', thms'') end;
 
 
 (* store_thm *)
isabelle