|
7761
|
1 |
|
|
|
2 |
%% $Id$
|
|
7748
|
3 |
|
|
|
4 |
\documentclass[11pt,a4paper]{article}
|
|
7800
|
5 |
\usepackage{comment,isabelle,pdfsetup}
|
|
7748
|
6 |
|
|
|
7 |
\renewcommand{\isamarkupheader}[1]{\section{#1}}
|
|
7761
|
8 |
\parindent 0pt \parskip 0.5ex
|
|
7748
|
9 |
|
|
|
10 |
\newcommand{\name}[1]{\textsf{#1}}
|
|
|
11 |
|
|
|
12 |
\newcommand{\idt}[1]{{\mathord{\mathit{#1}}}}
|
|
|
13 |
\newcommand{\var}[1]{{?\!#1}}
|
|
|
14 |
\DeclareMathSymbol{\dshsym}{\mathalpha}{letters}{"2D}
|
|
|
15 |
\newcommand{\dsh}{\dshsym}
|
|
|
16 |
|
|
|
17 |
\newcommand{\To}{\to}
|
|
|
18 |
\newcommand{\dt}{{\mathpunct.}}
|
|
|
19 |
\newcommand{\ap}{\mathbin{\!}}
|
|
|
20 |
\newcommand{\lam}[1]{\mathop{\lambda} #1\dt\;}
|
|
|
21 |
\newcommand{\all}[1]{\forall #1\dt\;}
|
|
|
22 |
\newcommand{\ex}[1]{\exists #1\dt\;}
|
|
7817
|
23 |
\newcommand{\impl}{\rightarrow}
|
|
|
24 |
\newcommand{\conj}{\land}
|
|
|
25 |
|
|
7748
|
26 |
|
|
|
27 |
%%% Local Variables:
|
|
|
28 |
%%% mode: latex
|
|
|
29 |
%%% TeX-master: "root"
|
|
|
30 |
%%% End:
|