1 \documentclass[10pt, conference, compsocconf]{IEEEtran} |
1 \documentclass[10pt, conference, compsocconf]{IEEEtran} |
2 \usepackage{isabelle,isabellesym} |
2 \usepackage{isabelle} |
3 |
3 \usepackage{isabellesym} |
4 %\usepackage{amssymb} |
4 \usepackage{times} |
5 %for \<leadsto>, \<box>, \<diamond>, \<sqsupset>, \<mho>, \<Join>, |
5 \usepackage{amssymb} |
6 %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>, |
|
7 %\<triangleq>, \<yen>, \<lozenge> |
|
8 |
|
9 %\usepackage[greek,english]{babel} |
|
10 %option greek for \<euro> |
|
11 %option english (default language) for \<guillemotleft>, \<guillemotright> |
|
12 |
|
13 %\usepackage[only,bigsqcap]{stmaryrd} |
|
14 %for \<Sqinter> |
|
15 |
|
16 %\usepackage{eufrak} |
|
17 %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb) |
|
18 |
|
19 %\usepackage{textcomp} |
|
20 %for \<onequarter>, \<onehalf>, \<threequarters>, \<degree>, \<cent>, |
|
21 %\<currency> |
|
22 |
|
23 % this should be the last package used |
|
24 \usepackage{mathpartir} |
6 \usepackage{mathpartir} |
25 \usepackage{pdfsetup} |
7 \usepackage{pdfsetup} |
26 |
8 |
27 % urls in roman style, theory text in math-similar italics |
9 % urls in roman style, theory text in math-similar italics |
28 \urlstyle{rm} |
10 \urlstyle{rm} |
65 \end{IEEEkeywords} |
47 \end{IEEEkeywords} |
66 |
48 |
67 |
49 |
68 \IEEEpeerreviewmaketitle |
50 \IEEEpeerreviewmaketitle |
69 |
51 |
70 |
|
71 %\tableofcontents |
|
72 |
|
73 % sane default for proof documents |
|
74 \parindent 0pt\parskip 0.5ex |
|
75 |
|
76 |
|
77 |
|
78 |
|
79 % generated text of all theories |
52 % generated text of all theories |
80 \input{session} |
53 \input{session} |
81 |
54 |
82 % optional bibliography |
55 % optional bibliography |
83 \bibliographystyle{abbrv} |
56 \bibliographystyle{abbrv} |