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