doc-src/IsarRef/refcard.tex
changeset 7981 5120a2a15d06
parent 7976 8005c92a85d7
child 7987 d9aef93c0e32
     1.1 --- a/doc-src/IsarRef/refcard.tex	Sat Oct 30 20:12:23 1999 +0200
     1.2 +++ b/doc-src/IsarRef/refcard.tex	Sat Oct 30 20:13:16 1999 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  
     1.5 -\chapter{Isabelle/Isar Quick Reference}
     1.6 +\chapter{Isabelle/Isar Quick Reference}\label{ap:refcard}
     1.7  
     1.8  \section{Proof commands}
     1.9  
    1.10 @@ -87,7 +87,8 @@
    1.11    \multicolumn{2}{l}{\textbf{Repeated steps (inserting facts)}} \\[0.5ex]
    1.12    $-$ & \text{no rules} \\
    1.13    $intro~a@1~\dots~a@n$ & \text{introduction rules} \\
    1.14 -  $elim~a@1~\dots~a@n$ & \text{elimination rules} \\[2ex]
    1.15 +  $elim~a@1~\dots~a@n$ & \text{elimination rules} \\
    1.16 +  $unfold~a@1~\dots~a@n$ & \text{definitions} \\[2ex]
    1.17  
    1.18    \multicolumn{2}{l}{\textbf{Automated proof tools (inserting facts, or even prems!)}} \\[0.5ex]
    1.19    $simp$ & Simplifier \\