equal
deleted
inserted
replaced
43 \conferenceinfo{SAC'11}{March 21-25, 2011, TaiChung, Taiwan.} |
43 \conferenceinfo{SAC'11}{March 21-25, 2011, TaiChung, Taiwan.} |
44 \CopyrightYear{2011} |
44 \CopyrightYear{2011} |
45 \crdata{978-1-4503-0113-8/11/03} |
45 \crdata{978-1-4503-0113-8/11/03} |
46 |
46 |
47 \title{Quotients Revisited for Isabelle/HOL} |
47 \title{Quotients Revisited for Isabelle/HOL} |
48 \numberofauthors{2} |
48 %\numberofauthors{2} |
49 \author{ |
49 %\author{ |
50 \alignauthor |
50 %\alignauthor |
51 Cezary Kaliszyk\\ |
51 %Cezary Kaliszyk\\ |
52 \affaddr{University of Tsukuba, Japan}\\ |
52 % \affaddr{University of Tsukuba, Japan}\\ |
53 \email{kaliszyk@score.cs.tsukuba.ac.jp} |
53 % \email{kaliszyk@score.cs.tsukuba.ac.jp} |
54 \alignauthor |
54 %\alignauthor |
55 Christian Urban\\ |
55 %Christian Urban\\ |
56 \affaddr{Technical University of Munich, Germany}\\ |
56 % \affaddr{Technical University of Munich, Germany}\\ |
57 \email{urbanc@in.tum.de} |
57 % \email{urbanc@in.tum.de} |
58 } |
58 %} |
59 |
59 |
60 \maketitle |
60 \maketitle |
61 |
61 |
62 \begin{abstract} |
62 \begin{abstract} |
63 Higher-Order Logic (HOL) is based on a small logic kernel, whose only |
63 Higher-Order Logic (HOL) is based on a small logic kernel, whose only |