updated;
authorwenzelm
Mon Aug 28 13:50:24 2000 +0200 (2000-08-28)
changeset 969413f3aaf12be2
parent 9693 a2272ce2316b
child 9695 ec7d7f877712
updated;
doc-src/AxClass/generated/isabelle.sty
doc-src/AxClass/generated/isabellesym.sty
     1.1 --- a/doc-src/AxClass/generated/isabelle.sty	Mon Aug 28 13:48:47 2000 +0200
     1.2 +++ b/doc-src/AxClass/generated/isabelle.sty	Mon Aug 28 13:50:24 2000 +0200
     1.3 @@ -17,9 +17,9 @@
     1.4  \newdimen\isa@parindent\newdimen\isa@parskip
     1.5  
     1.6  \newenvironment{isabelle}{%
     1.7 -\isa@parindent\parindent\parindent0pt%
     1.8 +\trivlist\isa@parindent\parindent\parindent0pt%
     1.9  \isa@parskip\parskip\parskip0pt%
    1.10 -\isastyle}{}
    1.11 +\isastyle\item\relax}{\endtrivlist}
    1.12  
    1.13  \newcommand{\isa}[1]{\emph{\isastyleminor #1}}
    1.14  
     2.1 --- a/doc-src/AxClass/generated/isabellesym.sty	Mon Aug 28 13:48:47 2000 +0200
     2.2 +++ b/doc-src/AxClass/generated/isabellesym.sty	Mon Aug 28 13:50:24 2000 +0200
     2.3 @@ -5,6 +5,7 @@
     2.4  %%
     2.5  
     2.6  \usepackage{latexsym}
     2.7 +%\usepackage{amssymb}
     2.8  %\usepackage[latin1]{inputenc}
     2.9  
    2.10  \newcommand{\bigsqcap}{\overline{|\,\,|}}  %just a hack
    2.11 @@ -15,8 +16,10 @@
    2.12  \newcommand{\isasymDelta}{$\Delta$}
    2.13  \newcommand{\isasymTheta}{$\Theta$}
    2.14  \newcommand{\isasymLambda}{$\Lambda$}
    2.15 +\newcommand{\isasymXi}{$\Xi$}
    2.16  \newcommand{\isasymPi}{$\Pi$}
    2.17  \newcommand{\isasymSigma}{$\Sigma$}
    2.18 +\newcommand{\isasymUpsilon}{$\Upsilon$}
    2.19  \newcommand{\isasymPhi}{$\Phi$}
    2.20  \newcommand{\isasymPsi}{$\Psi$}
    2.21  \newcommand{\isasymOmega}{$\Omega$}
    2.22 @@ -28,15 +31,17 @@
    2.23  \newcommand{\isasymzeta}{$\zeta$}
    2.24  \newcommand{\isasymeta}{$\eta$}
    2.25  \newcommand{\isasymtheta}{$\vartheta$}
    2.26 +\newcommand{\isasymiota}{$\iota$}
    2.27  \newcommand{\isasymkappa}{$\kappa$}
    2.28  \newcommand{\isasymlambda}{$\lambda$}
    2.29  \newcommand{\isasymmu}{$\mu$}
    2.30  \newcommand{\isasymnu}{$\nu$}
    2.31  \newcommand{\isasymxi}{$\xi$}
    2.32  \newcommand{\isasympi}{$\pi$}
    2.33 -\newcommand{\isasymrho}{$\rho$}
    2.34 +\newcommand{\isasymrho}{$\varrho$}
    2.35  \newcommand{\isasymsigma}{$\sigma$}
    2.36  \newcommand{\isasymtau}{$\tau$}
    2.37 +\newcommand{\isasymupsilon}{$\upsilon$}
    2.38  \newcommand{\isasymphi}{$\varphi$}
    2.39  \newcommand{\isasymchi}{$\chi$}
    2.40  \newcommand{\isasympsi}{$\psi$}
    2.41 @@ -86,7 +91,7 @@
    2.42  \newcommand{\isasymLeftarrow}{\emph{$\Leftarrow$}}
    2.43  \newcommand{\isasymMidarrow}{\emph{$=$}}%deprecated
    2.44  \newcommand{\isasymRightarrow}{\emph{$\Rightarrow$}}
    2.45 -\newcommand{\isasymbow}{\emph{$\frown$}}
    2.46 +\newcommand{\isasymfrown}{\emph{$\frown$}}
    2.47  \newcommand{\isasymmapsto}{\emph{$\mapsto$}}
    2.48  \newcommand{\isasymleadsto}{\emph{$\leadsto$}}
    2.49  \newcommand{\isasymup}{\emph{$\uparrow$}}
    2.50 @@ -150,3 +155,86 @@
    2.51  \newcommand{\isasymlbrace}{\emph{$\mathopen{\lbrace\mkern-4.5mu\mid}$}}
    2.52  \newcommand{\isasymrbrace}{\emph{$\mathclose{\mid\mkern-4.5mu\rbrace}$}}
    2.53  \newcommand{\isasymtop}{\emph{$\top$}}
    2.54 +
    2.55 +\newcommand{\isasymcong}{\emph{$\cong$}}
    2.56 +\newcommand{\isasymclubsuit}{\emph{$\clubsuit$}}
    2.57 +\newcommand{\isasymdiamondsuit}{\emph{$\diamondsuit$}}
    2.58 +\newcommand{\isasymheartsuit}{\emph{$\heartsuit$}}
    2.59 +\newcommand{\isasymspadesuit}{\emph{$\spadesuit$}}
    2.60 +\newcommand{\isasymleftrightarrow}{\emph{$\leftrightarrow$}}
    2.61 +\newcommand{\isasymge}{\emph{$\ge$}}
    2.62 +\newcommand{\isasympropto}{\emph{$\propto$}}
    2.63 +\newcommand{\isasympartial}{\emph{$\partial$}}
    2.64 +\newcommand{\isasymdots}{\emph{$\dots$}}
    2.65 +\newcommand{\isasymaleph}{\emph{$\aleph$}}
    2.66 +\newcommand{\isasymIm}{\emph{$\Im$}}
    2.67 +\newcommand{\isasymRe}{\emph{$\Re$}}
    2.68 +\newcommand{\isasymwp}{\emph{$\wp$}}
    2.69 +\newcommand{\isasymemptyset}{\emph{$\emptyset$}}
    2.70 +\newcommand{\isasymangle}{\emph{$\angle$}}
    2.71 +\newcommand{\isasymnabla}{\emph{$\nabla$}}
    2.72 +\newcommand{\isasymProd}{\emph{$\prod$}}
    2.73 +\newcommand{\isasymLeftrightarrow}{\emph{$\Leftrightarrow$}}
    2.74 +\newcommand{\isasymUparrow}{\emph{$\Uparrow$}}
    2.75 +\newcommand{\isasymDownarrow}{\emph{$\Downarrow$}}
    2.76 +\newcommand{\isasymlozenge}{\emph{$\lozenge$}}
    2.77 +\newcommand{\isasymlangle}{\emph{$\langle$}}
    2.78 +\newcommand{\isasymrangle}{\emph{$\rangle$}}
    2.79 +\newcommand{\isasymSum}{\emph{$\sum$}}
    2.80 +\newcommand{\isasymintegral}{\emph{$\int$}}
    2.81 +\newcommand{\isasymdagger}{\emph{$\dagger$}}
    2.82 +\newcommand{\isasymsharp}{\emph{$\sharp$}}
    2.83 +\newcommand{\isasymstar}{\emph{$\star$}}
    2.84 +\newcommand{\isasymtriangleright}{\emph{$\triangleright$}}
    2.85 +\newcommand{\isasymlhd}{\emph{$\lhd$}}
    2.86 +\newcommand{\isasymtriangle}{\emph{$\triangle$}}
    2.87 +\newcommand{\isasymrhd}{\emph{$\rhd$}}
    2.88 +\newcommand{\isasymunlhd}{\emph{$\unlhd$}}
    2.89 +\newcommand{\isasymunrhd}{\emph{$\unrhd$}}
    2.90 +\newcommand{\isasymtriangleleft}{\emph{$\triangleleft$}}
    2.91 +\newcommand{\isasymnatural}{\emph{$\natural$}}
    2.92 +\newcommand{\isasymflat}{\emph{$\flat$}}
    2.93 +\newcommand{\isasymamalg}{\emph{$\amalg$}}
    2.94 +\newcommand{\isasymmho}{\emph{$\mho$}}
    2.95 +\newcommand{\isasymupdownarrow}{\emph{$\updownarrow$}}
    2.96 +\newcommand{\isasymlongmapsto}{\emph{$\longmapsto$}}
    2.97 +\newcommand{\isasymUpdownarrow}{\emph{$\Updownarrow$}}
    2.98 +\newcommand{\isasymhookleftarrow}{\emph{$\hookleftarrow$}}
    2.99 +\newcommand{\isasymhookrightarrow}{\emph{$\hookrightarrow$}}
   2.100 +\newcommand{\isasymrightleftharpoons}{\emph{$\rightleftharpoons$}}
   2.101 +\newcommand{\isasymleftharpoondown}{\emph{$\leftharpoondown$}}
   2.102 +\newcommand{\isasymrightharpoondown}{\emph{$\rightharpoondown$}}
   2.103 +\newcommand{\isasymleftharpoonup}{\emph{$\leftharpoonup$}}
   2.104 +\newcommand{\isasymrightharpoonup}{\emph{$\rightharpoonup$}}
   2.105 +\newcommand{\isasymasymp}{\emph{$\asymp$}}
   2.106 +\newcommand{\isasymminusplus}{\emph{$\mp$}}
   2.107 +\newcommand{\isasymbowtie}{\emph{$\bowtie$}}
   2.108 +\newcommand{\isasymcdots}{\emph{$\cdots$}}
   2.109 +\newcommand{\isasymodot}{\emph{$\odot$}}
   2.110 +\newcommand{\isasymsupset}{\emph{$\supset$}}
   2.111 +\newcommand{\isasymsupseteq}{\emph{$\supseteq$}}
   2.112 +\newcommand{\isasymsqsupset}{\emph{$\sqsupset$}}
   2.113 +\newcommand{\isasymsqsupseteq}{\emph{$\sqsupseteq$}}
   2.114 +\newcommand{\isasymll}{\emph{$\ll$}}
   2.115 +\newcommand{\isasymgg}{\emph{$\gg$}}
   2.116 +\newcommand{\isasymuplus}{\emph{$\uplus$}}
   2.117 +\newcommand{\isasymsmile}{\emph{$\smile$}}
   2.118 +\newcommand{\isasymsucceq}{\emph{$\succeq$}}
   2.119 +\newcommand{\isasymstileturn}{\emph{$\dashv$}}
   2.120 +\newcommand{\isasymOr}{\emph{$\bigvee$}}
   2.121 +\newcommand{\isasymbiguplus}{\emph{$\biguplus$}}
   2.122 +\newcommand{\isasymddagger}{\emph{$\ddagger$}}
   2.123 +\newcommand{\isasymJoin}{\emph{$\Join$}}
   2.124 +\newcommand{\isasymbool}{\emph{$\mathrm{I}\mkern-3.8mu\mathrm{B}$}}
   2.125 +\newcommand{\isasymcomplex}{\emph{$\mathrm{C}\mkern-15mu{\phantom{\mathrm{t}}\vrule}\mkern9mu$}}
   2.126 +\newcommand{\isasymnat}{\emph{$\mathrm{I}\mkern-3.8mu\mathrm{N}$}}
   2.127 +\newcommand{\isasymrat}{\emph{$\mathrm{Q}\mkern-16mu{\phantom{\mathrm{t}}\vrule}\mkern10mu$}}
   2.128 +\newcommand{\isasymreal}{\emph{$\mathrm{I}\mkern-3.8mu\mathrm{R}$}}
   2.129 +\newcommand{\isasymint}{\emph{$\mathsf{Z}\mkern-7.5mu\mathsf{Z}$}}
   2.130 +
   2.131 +%requires amssymb
   2.132 +\newcommand{\isasymlesssim}{\emph{$\lesssim$}}
   2.133 +\newcommand{\isasymgreatersim}{\emph{$\gtrsim$}}
   2.134 +\newcommand{\isasymlessapprox}{\emph{$\lessapprox$}}
   2.135 +\newcommand{\isasymgreaterapprox}{\emph{$\gtrapprox$}}
   2.136 +\newcommand{\isasymtriangleq}{\emph{$\triangleq$}}