Mercurial > isabelle

changeset 62337:d3996d5873dd Isabelle2016

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper syntax;
author wenzelm
date Mon, 15 Feb 2016 14:55:44 +0100
parents f005a691df1f
children ec44535f954a
files src/Doc/Isar_Ref/Quick_Reference.thy
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/Doc/Isar_Ref/Quick_Reference.thy	Fri Feb 12 17:04:36 2016 +0100
+++ b/src/Doc/Isar_Ref/Quick_Reference.thy	Mon Feb 15 14:55:44 2016 +0100
@@ -33,7 +33,7 @@
     & \<open>|\<close> & \<^theory_text>\<open>write name  (mixfix)\<close> \\
     & \<open>|\<close> & \<^theory_text>\<open>fix "var\<^sup>+"\<close> \\
     & \<open>|\<close> & \<^theory_text>\<open>assume name: props\<close> \\
-    & \<open>|\<close> & \<^theory_text>\<open>assume name: props if name: props for "var\<^sup>+"\<close> \\
+    & \<open>|\<close> & \<^theory_text>\<open>assume name: props if props for "var\<^sup>+"\<close> \\
     & \<open>|\<close> & \<^theory_text>\<open>then"\<^sup>?" goal\<close> \\
     \<open>goal\<close> & = & \<^theory_text>\<open>have name: props "proof"\<close> \\
     & \<open>|\<close> & \<^theory_text>\<open>have name: props if name: props for "var\<^sup>+" "proof"\<close> \\