src/HOL/Isar_examples/document/style.tex
author wenzelm
Sat Oct 30 20:20:48 1999 +0200 (1999-10-30)
changeset 7982 d534b897ce39
parent 7968 964b65b4e433
child 8020 2823ce1753a5
permissions -rw-r--r--
improved presentation;
     1 
     2 %% $Id$
     3 
     4 \documentclass[11pt,a4paper]{article}
     5 \usepackage{comment,proof,isabelle,isabellesym,pdfsetup}
     6 
     7 \renewcommand{\isamarkupheader}[1]{\section{#1}}
     8 
     9 \newcommand{\name}[1]{\textsl{#1}}
    10 
    11 \newcommand{\idt}[1]{{\mathord{\mathit{#1}}}}
    12 \newcommand{\var}[1]{{?\!\idt{#1}}}
    13 \DeclareMathSymbol{\dshsym}{\mathalpha}{letters}{"2D}
    14 \newcommand{\dsh}{\dshsym}
    15 
    16 \newcommand{\To}{\to}
    17 \newcommand{\dt}{{\mathpunct.}}
    18 \newcommand{\ap}{\mathbin{\!}}
    19 \newcommand{\lam}[1]{\mathop{\lambda} #1\dt\;}
    20 \newcommand{\all}[1]{\forall #1\dt\;}
    21 \newcommand{\ex}[1]{\exists #1\dt\;}
    22 \newcommand{\impl}{\rightarrow}
    23 \newcommand{\conj}{\land}
    24 \newcommand{\disj}{\lor}
    25 \newcommand{\Impl}{\Longrightarrow}
    26 
    27 %%% Local Variables: 
    28 %%% mode: latex
    29 %%% TeX-master: "root"
    30 %%% End: