author | wenzelm |
Thu, 05 Mar 2009 02:20:06 +0100 | |
changeset 30270 | 61811c9224a6 |
parent 29759 | bcb79ddf57da |
child 30272 | 2d612824e642 |
permissions | -rw-r--r-- |
29755 | 1 |
theory Isar |
2 |
imports Base |
|
3 |
begin |
|
20472 | 4 |
|
29759 | 5 |
chapter {* Isar language elements *} |
6 |
||
7 |
text {* |
|
8 |
The primary Isar language consists of three main categories of |
|
9 |
language elements: |
|
10 |
||
11 |
\begin{enumerate} |
|
12 |
||
13 |
\item Proof commands |
|
20472 | 14 |
|
29759 | 15 |
\item Proof methods |
16 |
||
17 |
\item Attributes |
|
18 |
||
19 |
\end{enumerate} |
|
20 |
*} |
|
21 |
||
22 |
||
23 |
section {* Proof commands *} |
|
20520 | 24 |
|
25 |
text FIXME |
|
26 |
||
27 |
||
20472 | 28 |
section {* Proof methods *} |
29 |
||
30 |
text FIXME |
|
31 |
||
29759 | 32 |
|
20472 | 33 |
section {* Attributes *} |
34 |
||
29759 | 35 |
text FIXME |
30270
61811c9224a6
dummy changes to produce a new changeset of these files;
wenzelm
parents:
29759
diff
changeset
|
36 |
|
20472 | 37 |
end |