1 \documentclass[preprint]{sigplanconf}

     2 \usepackage{isabelle}

     3 \usepackage{isabellesym}

     4 \usepackage{amsmath}

     5 \usepackage{amssymb}

     6 \usepackage{pdfsetup}

     7 \usepackage{ot1patch}

     8 \usepackage{times}

     9 \usepackage{stmaryrd}

    10 

    11 \urlstyle{rm}

    12 \isabellestyle{it}

    13 \renewcommand{\isastyleminor}{\it}%

    14 \renewcommand{\isastyle}{\normalsize\it}%

    15 

    16 

    17 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,}

    18 \renewcommand{\isasymequiv}{$\dn$}

    19 \renewcommand{\isasymemptyset}{$\varnothing$}

    20 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}

    21 

    22 \newcommand{\isasymcalL}{\ensuremath{\cal{L}}}

    23 \newcommand{\isasymbigplus}{\ensuremath{\bigplus}}

    24 

    25 \newcommand{\bigplus}{\mbox{\Large\bf$+$}}

    26 \begin{document}

    27 

    28 %\titlebanner{Nominal Functions}      % These are ignored unless

    29 %\preprintfooter{Nominal Functions}   % 'preprint' option specified.

    30 

    31 \title{Nominal Functions}

    32 \authorinfo{?}

    33            {?}

    34            {?}

    35 

    36 \maketitle

    37 

    38 \begin{abstract} 

    39 bla bla

    40 \end{abstract}

    41 

    42 \category{CR-number}{subcategory}{third-level}

    43 

    44 \terms

    45 term1, term2

    46 

    47 \keywords

    48 keyword1, keyword2

    49 

    50 

    51 \input{session}

    52 

    53 %\bibliographystyle{plain}

    54 %\bibliography{root}

    55 

    56 \end{document}

    57 

    58 %%% Local Variables:

    59 %%% mode: latex

    60 %%% TeX-master: t

    61 %%% End: