equal
deleted
inserted
replaced
37 |
37 |
38 \begin{document} |
38 \begin{document} |
39 |
39 |
40 \title{Quotients Revisited for Isabelle/HOL} |
40 \title{Quotients Revisited for Isabelle/HOL} |
41 \author{Cezary Kaliszyk \and Christian Urban} |
41 \author{Cezary Kaliszyk \and Christian Urban} |
42 \institute{C.~Kaliszyk \at University of Tsukuba, Japan |
42 \institute{C.~Kaliszyk \at University of Innsbruck, Austria |
43 \and C.~Urban \at Technical University of Munich, Germany} |
43 \and C.~Urban \at King's College London, UK} |
44 \date{Received: date / Accepted: date} |
44 \date{Received: date / Accepted: date} |
45 |
45 |
46 \maketitle |
46 \maketitle |
47 |
47 |
48 \begin{abstract} |
48 \begin{abstract} |