1
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
14
15 %%% Local Variables:
16 %%% mode: latex
17 %%% TeX-master: "isar-ref"
18 %%% End: