proper syntax; Isabelle2016
authorwenzelm
Mon Feb 15 14:55:44 2016 +0100 (2016-02-15)
changeset 62337d3996d5873dd
parent 62283 f005a691df1f
child 62338 ec44535f954a
proper syntax;
src/Doc/Isar_Ref/Quick_Reference.thy
     1.1 --- a/src/Doc/Isar_Ref/Quick_Reference.thy	Fri Feb 12 17:04:36 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> \\