equal
deleted
inserted
replaced
20 \maketitle |
20 \maketitle |
21 |
21 |
22 \begin{abstract} |
22 \begin{abstract} |
23 \noindent This tutorial introduces the code generator facilities of Isabelle/HOL. |
23 \noindent This tutorial introduces the code generator facilities of Isabelle/HOL. |
24 They empower the user to turn HOL specifications into corresponding executable |
24 They empower the user to turn HOL specifications into corresponding executable |
25 programs in the languages SML, OCaml and Haskell. |
25 programs in the languages SML, OCaml, Haskell and Scala. |
26 \end{abstract} |
26 \end{abstract} |
27 |
27 |
28 \thispagestyle{empty}\clearpage |
28 \thispagestyle{empty}\clearpage |
29 |
29 |
30 \pagenumbering{roman} |
30 \pagenumbering{roman} |