| changeset 1743 | 925a5e9aa832 |
| parent 1742 | 3f78dc600dce |
| child 1746 | ec0afa89aab3 |
| 1742:3f78dc600dce | 1743:925a5e9aa832 |
|---|---|
1639 |
1639 |
1640 *} |
1640 *} |
1641 |
1641 |
1642 text {* |
1642 text {* |
1643 |
1643 |
1644 \begin{figure} |
1644 \begin{figure}[t!] |
1645 \begin{boxedminipage}{\linewidth} |
1645 \begin{boxedminipage}{\linewidth} |
1646 \small |
1646 \small |
1647 \begin{tabular}{l} |
1647 \begin{tabular}{l} |
1648 \isacommand{atom\_decl}~@{text "var"}\\ |
1648 \isacommand{atom\_decl}~@{text "var"}\\ |
1649 \isacommand{atom\_decl}~@{text "cvar"}\\ |
1649 \isacommand{atom\_decl}~@{text "cvar"}\\ |