src/Doc/Isar_Ref/Quick_Reference.thy
changeset 62337 d3996d5873dd
parent 62278 c04e97be39d3
child 63039 1a20fd9cf281
     1.1 --- a/src/Doc/Isar_Ref/Quick_Reference.thy	Wed Feb 10 14:14:43 2016 +0100
     1.2 +++ b/src/Doc/Isar_Ref/Quick_Reference.thy	Mon Feb 15 14:55:44 2016 +0100
     1.3 @@ -33,7 +33,7 @@
     1.4      & \<open>|\<close> & \<^theory_text>\<open>write name  (mixfix)\<close> \\
     1.5      & \<open>|\<close> & \<^theory_text>\<open>fix "var\<^sup>+"\<close> \\
     1.6      & \<open>|\<close> & \<^theory_text>\<open>assume name: props\<close> \\
     1.7 -    & \<open>|\<close> & \<^theory_text>\<open>assume name: props if name: props for "var\<^sup>+"\<close> \\
     1.8 +    & \<open>|\<close> & \<^theory_text>\<open>assume name: props if props for "var\<^sup>+"\<close> \\
     1.9      & \<open>|\<close> & \<^theory_text>\<open>then"\<^sup>?" goal\<close> \\
    1.10      \<open>goal\<close> & = & \<^theory_text>\<open>have name: props "proof"\<close> \\
    1.11      & \<open>|\<close> & \<^theory_text>\<open>have name: props if name: props for "var\<^sup>+" "proof"\<close> \\