| changeset 13048 | 8b2eb3b78cc3 |
| parent 13041 | 6faccf7d0f25 |
| child 13472 | 2529a53514e6 |
| 13047:f27cc0a43feb | 13048:8b2eb3b78cc3 |
|---|---|
1 |
1 |
2 \chapter{Isabelle/Isar Quick Reference}\label{ap:refcard} |
2 \chapter{Isabelle/Isar quick reference}\label{ap:refcard} |
3 |
3 |
4 \section{Proof commands} |
4 \section{Proof commands} |
5 |
5 |
6 \subsection{Primitives and basic syntax} |
6 \subsection{Primitives and basic syntax} |
7 |
7 |