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/Doc/Isar_Ref/Proof.thy
changeset 60448 78f3c67bc35e
parent 60414 f25f2f2ba48c
child 60449 229bad93377e 
--- a/src/Doc/Isar_Ref/Proof.thy	Thu Jun 11 16:15:27 2015 +0200
+++ b/src/Doc/Isar_Ref/Proof.thy	Thu Jun 11 22:47:53 2015 +0200
@@ -999,7 +999,7 @@
   occur in the conclusion.
 
   @{rail \<open>
-    @@{command obtain} @{syntax par_name}? (@{syntax vars} + @'and')
+    @@{command obtain} @{syntax par_name}? (@{syntax "fixes"} + @'and')
       @'where' (@{syntax props} + @'and')
     ;
     @@{command guess} (@{syntax vars} + @'and')
isabelle