equal
deleted
inserted
replaced
57 |
57 |
58 \isadroptag{theory} |
58 \isadroptag{theory} |
59 |
59 |
60 \title{%\includegraphics[scale=0.5]{isabelle_hol} \\[4ex] |
60 \title{%\includegraphics[scale=0.5]{isabelle_hol} \\[4ex] |
61 Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL} |
61 Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL} |
62 \author{Julian Biendarra, Jasmin Christian Blanchette, \\ |
62 \author{Julian Biendarra, Jasmin Blanchette, \\ |
63 Martin Desharnais, Lorenz Panny, \\ |
63 Martin Desharnais, Lorenz Panny, \\ |
64 Andrei Popescu, and Dmitriy Traytel} |
64 Andrei Popescu, and Dmitriy Traytel} |
65 |
65 |
66 \urlstyle{tt} |
66 \urlstyle{tt} |
67 |
67 |