| changeset 7135 | 8eabfd7e6b9b |
| parent 7134 | 320b412e5800 |
| child 7141 | a67dde8820c0 |
| 7134:320b412e5800 | 7135:8eabfd7e6b9b |
|---|---|
1 |
1 |
2 \chapter{Isabelle/HOL specific elements} |
2 \chapter{Isabelle/HOL specific tools and packages} |
3 |
|
4 \section{Primitive types} |
|
5 |
|
6 \section{Records} |
|
7 |
|
8 \section{Datatypes} |
|
9 |
|
10 \section{Recursive functions} |
|
11 |
|
12 \section{(Co)Inductive sets} |
|
13 |
|
3 |
14 |
4 %%% Local Variables: |
15 %%% Local Variables: |
5 %%% mode: latex |
16 %%% mode: latex |
6 %%% TeX-master: "isar-ref" |
17 %%% TeX-master: "isar-ref" |
7 %%% End: |
18 %%% End: |