equal
deleted
inserted
replaced
73 |
73 |
74 |
74 |
75 \subsection{Diagnostic commands} |
75 \subsection{Diagnostic commands} |
76 |
76 |
77 \begin{matharray}{ll} |
77 \begin{matharray}{ll} |
78 \isarkeyword{help} & \text{print help on Isar language elements} \\ |
|
79 \isarkeyword{pr} & \text{print current state} \\ |
78 \isarkeyword{pr} & \text{print current state} \\ |
80 \isarkeyword{thm}~\vec a & \text{print theorems} \\ |
79 \isarkeyword{thm}~\vec a & \text{print theorems} \\ |
81 \isarkeyword{term}~t & \text{print term} \\ |
80 \isarkeyword{term}~t & \text{print term} \\ |
82 \isarkeyword{prop}~\phi & \text{print meta-level proposition} \\ |
81 \isarkeyword{prop}~\phi & \text{print meta-level proposition} \\ |
83 \isarkeyword{typ}~\tau & \text{print meta-level type} \\ |
82 \isarkeyword{typ}~\tau & \text{print meta-level type} \\ |