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/Pure.thy
changeset 68876 cefaac3d24ff
parent 68827 1286ca9dfd26
child 69057 56c6378ebaea 
--- a/src/Pure/Pure.thy	Sun Sep 02 13:53:55 2018 +0200
+++ b/src/Pure/Pure.thy	Sun Sep 02 14:14:43 2018 +0200
@@ -916,7 +916,7 @@
 
 val _ =
   Outer_Syntax.command \<^command_keyword>\<open>oops\<close> "forget proof"
-    (Scan.succeed (Toplevel.forget_proof true));
+    (Scan.succeed Toplevel.forget_proof);
 
 in end\<close>
isabelle