# HG changeset patch # User wenzelm # Date 967463424 -7200 # Node ID 13f3aaf12be2ae19bea0a8701c4dd512c28a2879 # Parent a2272ce2316bbd6afe53d4432de1003abcf82901 updated; diff -r a2272ce2316b -r 13f3aaf12be2 doc-src/AxClass/generated/isabelle.sty --- a/doc-src/AxClass/generated/isabelle.sty Mon Aug 28 13:48:47 2000 +0200 +++ b/doc-src/AxClass/generated/isabelle.sty Mon Aug 28 13:50:24 2000 +0200 @@ -17,9 +17,9 @@ \newdimen\isa@parindent\newdimen\isa@parskip \newenvironment{isabelle}{% -\isa@parindent\parindent\parindent0pt% +\trivlist\isa@parindent\parindent\parindent0pt% \isa@parskip\parskip\parskip0pt% -\isastyle}{} +\isastyle\item\relax}{\endtrivlist} \newcommand{\isa}[1]{\emph{\isastyleminor #1}} diff -r a2272ce2316b -r 13f3aaf12be2 doc-src/AxClass/generated/isabellesym.sty --- a/doc-src/AxClass/generated/isabellesym.sty Mon Aug 28 13:48:47 2000 +0200 +++ b/doc-src/AxClass/generated/isabellesym.sty Mon Aug 28 13:50:24 2000 +0200 @@ -5,6 +5,7 @@ %% \usepackage{latexsym} +%\usepackage{amssymb} %\usepackage[latin1]{inputenc} \newcommand{\bigsqcap}{\overline{|\,\,|}} %just a hack @@ -15,8 +16,10 @@ \newcommand{\isasymDelta}{$\Delta$} \newcommand{\isasymTheta}{$\Theta$} \newcommand{\isasymLambda}{$\Lambda$} +\newcommand{\isasymXi}{$\Xi$} \newcommand{\isasymPi}{$\Pi$} \newcommand{\isasymSigma}{$\Sigma$} +\newcommand{\isasymUpsilon}{$\Upsilon$} \newcommand{\isasymPhi}{$\Phi$} \newcommand{\isasymPsi}{$\Psi$} \newcommand{\isasymOmega}{$\Omega$} @@ -28,15 +31,17 @@ \newcommand{\isasymzeta}{$\zeta$} \newcommand{\isasymeta}{$\eta$} \newcommand{\isasymtheta}{$\vartheta$} +\newcommand{\isasymiota}{$\iota$} \newcommand{\isasymkappa}{$\kappa$} \newcommand{\isasymlambda}{$\lambda$} \newcommand{\isasymmu}{$\mu$} \newcommand{\isasymnu}{$\nu$} \newcommand{\isasymxi}{$\xi$} \newcommand{\isasympi}{$\pi$} -\newcommand{\isasymrho}{$\rho$} +\newcommand{\isasymrho}{$\varrho$} \newcommand{\isasymsigma}{$\sigma$} \newcommand{\isasymtau}{$\tau$} +\newcommand{\isasymupsilon}{$\upsilon$} \newcommand{\isasymphi}{$\varphi$} \newcommand{\isasymchi}{$\chi$} \newcommand{\isasympsi}{$\psi$} @@ -86,7 +91,7 @@ \newcommand{\isasymLeftarrow}{\emph{$\Leftarrow$}} \newcommand{\isasymMidarrow}{\emph{$=$}}%deprecated \newcommand{\isasymRightarrow}{\emph{$\Rightarrow$}} -\newcommand{\isasymbow}{\emph{$\frown$}} +\newcommand{\isasymfrown}{\emph{$\frown$}} \newcommand{\isasymmapsto}{\emph{$\mapsto$}} \newcommand{\isasymleadsto}{\emph{$\leadsto$}} \newcommand{\isasymup}{\emph{$\uparrow$}} @@ -150,3 +155,86 @@ \newcommand{\isasymlbrace}{\emph{$\mathopen{\lbrace\mkern-4.5mu\mid}$}} \newcommand{\isasymrbrace}{\emph{$\mathclose{\mid\mkern-4.5mu\rbrace}$}} \newcommand{\isasymtop}{\emph{$\top$}} + +\newcommand{\isasymcong}{\emph{$\cong$}} +\newcommand{\isasymclubsuit}{\emph{$\clubsuit$}} +\newcommand{\isasymdiamondsuit}{\emph{$\diamondsuit$}} +\newcommand{\isasymheartsuit}{\emph{$\heartsuit$}} +\newcommand{\isasymspadesuit}{\emph{$\spadesuit$}} +\newcommand{\isasymleftrightarrow}{\emph{$\leftrightarrow$}} +\newcommand{\isasymge}{\emph{$\ge$}} +\newcommand{\isasympropto}{\emph{$\propto$}} +\newcommand{\isasympartial}{\emph{$\partial$}} +\newcommand{\isasymdots}{\emph{$\dots$}} +\newcommand{\isasymaleph}{\emph{$\aleph$}} +\newcommand{\isasymIm}{\emph{$\Im$}} +\newcommand{\isasymRe}{\emph{$\Re$}} +\newcommand{\isasymwp}{\emph{$\wp$}} +\newcommand{\isasymemptyset}{\emph{$\emptyset$}} +\newcommand{\isasymangle}{\emph{$\angle$}} +\newcommand{\isasymnabla}{\emph{$\nabla$}} +\newcommand{\isasymProd}{\emph{$\prod$}} +\newcommand{\isasymLeftrightarrow}{\emph{$\Leftrightarrow$}} +\newcommand{\isasymUparrow}{\emph{$\Uparrow$}} +\newcommand{\isasymDownarrow}{\emph{$\Downarrow$}} +\newcommand{\isasymlozenge}{\emph{$\lozenge$}} +\newcommand{\isasymlangle}{\emph{$\langle$}} +\newcommand{\isasymrangle}{\emph{$\rangle$}} +\newcommand{\isasymSum}{\emph{$\sum$}} +\newcommand{\isasymintegral}{\emph{$\int$}} +\newcommand{\isasymdagger}{\emph{$\dagger$}} +\newcommand{\isasymsharp}{\emph{$\sharp$}} +\newcommand{\isasymstar}{\emph{$\star$}} +\newcommand{\isasymtriangleright}{\emph{$\triangleright$}} +\newcommand{\isasymlhd}{\emph{$\lhd$}} +\newcommand{\isasymtriangle}{\emph{$\triangle$}} +\newcommand{\isasymrhd}{\emph{$\rhd$}} +\newcommand{\isasymunlhd}{\emph{$\unlhd$}} +\newcommand{\isasymunrhd}{\emph{$\unrhd$}} +\newcommand{\isasymtriangleleft}{\emph{$\triangleleft$}} +\newcommand{\isasymnatural}{\emph{$\natural$}} +\newcommand{\isasymflat}{\emph{$\flat$}} +\newcommand{\isasymamalg}{\emph{$\amalg$}} +\newcommand{\isasymmho}{\emph{$\mho$}} +\newcommand{\isasymupdownarrow}{\emph{$\updownarrow$}} +\newcommand{\isasymlongmapsto}{\emph{$\longmapsto$}} +\newcommand{\isasymUpdownarrow}{\emph{$\Updownarrow$}} +\newcommand{\isasymhookleftarrow}{\emph{$\hookleftarrow$}} +\newcommand{\isasymhookrightarrow}{\emph{$\hookrightarrow$}} +\newcommand{\isasymrightleftharpoons}{\emph{$\rightleftharpoons$}} +\newcommand{\isasymleftharpoondown}{\emph{$\leftharpoondown$}} +\newcommand{\isasymrightharpoondown}{\emph{$\rightharpoondown$}} +\newcommand{\isasymleftharpoonup}{\emph{$\leftharpoonup$}} +\newcommand{\isasymrightharpoonup}{\emph{$\rightharpoonup$}} +\newcommand{\isasymasymp}{\emph{$\asymp$}} +\newcommand{\isasymminusplus}{\emph{$\mp$}} +\newcommand{\isasymbowtie}{\emph{$\bowtie$}} +\newcommand{\isasymcdots}{\emph{$\cdots$}} +\newcommand{\isasymodot}{\emph{$\odot$}} +\newcommand{\isasymsupset}{\emph{$\supset$}} +\newcommand{\isasymsupseteq}{\emph{$\supseteq$}} +\newcommand{\isasymsqsupset}{\emph{$\sqsupset$}} +\newcommand{\isasymsqsupseteq}{\emph{$\sqsupseteq$}} +\newcommand{\isasymll}{\emph{$\ll$}} +\newcommand{\isasymgg}{\emph{$\gg$}} +\newcommand{\isasymuplus}{\emph{$\uplus$}} +\newcommand{\isasymsmile}{\emph{$\smile$}} +\newcommand{\isasymsucceq}{\emph{$\succeq$}} +\newcommand{\isasymstileturn}{\emph{$\dashv$}} +\newcommand{\isasymOr}{\emph{$\bigvee$}} +\newcommand{\isasymbiguplus}{\emph{$\biguplus$}} +\newcommand{\isasymddagger}{\emph{$\ddagger$}} +\newcommand{\isasymJoin}{\emph{$\Join$}} +\newcommand{\isasymbool}{\emph{$\mathrm{I}\mkern-3.8mu\mathrm{B}$}} +\newcommand{\isasymcomplex}{\emph{$\mathrm{C}\mkern-15mu{\phantom{\mathrm{t}}\vrule}\mkern9mu$}} +\newcommand{\isasymnat}{\emph{$\mathrm{I}\mkern-3.8mu\mathrm{N}$}} +\newcommand{\isasymrat}{\emph{$\mathrm{Q}\mkern-16mu{\phantom{\mathrm{t}}\vrule}\mkern10mu$}} +\newcommand{\isasymreal}{\emph{$\mathrm{I}\mkern-3.8mu\mathrm{R}$}} +\newcommand{\isasymint}{\emph{$\mathsf{Z}\mkern-7.5mu\mathsf{Z}$}} + +%requires amssymb +\newcommand{\isasymlesssim}{\emph{$\lesssim$}} +\newcommand{\isasymgreatersim}{\emph{$\gtrsim$}} +\newcommand{\isasymlessapprox}{\emph{$\lessapprox$}} +\newcommand{\isasymgreaterapprox}{\emph{$\gtrapprox$}} +\newcommand{\isasymtriangleq}{\emph{$\triangleq$}}