auto update
authorpaulson
Tue Oct 05 15:40:26 2004 +0200 (2004-10-05)
changeset 15230315079a40f31
parent 15229 1eb23f805c06
child 15231 96d5b6e2b6e4
auto update
doc-src/TutorialI/Types/document/Overloading2.tex
     1.1 --- a/doc-src/TutorialI/Types/document/Overloading2.tex	Tue Oct 05 15:30:50 2004 +0200
     1.2 +++ b/doc-src/TutorialI/Types/document/Overloading2.tex	Tue Oct 05 15:40:26 2004 +0200
     1.3 @@ -44,8 +44,8 @@
     1.4  In addition there is a special syntax for bounded quantifiers:
     1.5  \begin{center}
     1.6  \begin{tabular}{lcl}
     1.7 -\isa{{\isasymforall}x{\isasymle}y{\isachardot}\ P\ x} & \isa{{\isasymrightleftharpoons}} & \isa{{\isacharbraceleft}{\isacharbackslash}isachardoublequote{\isacharbraceright}{\isasymforall}x{\isachardot}\ x\ {\isasymle}\ y\ {\isasymlongrightarrow}\ P\ x{\isacharbraceleft}{\isacharbackslash}isachardoublequote{\isacharbraceright}} \\
     1.8 -\isa{{\isasymexists}x{\isasymle}y{\isachardot}\ P\ x} & \isa{{\isasymrightleftharpoons}} & \isa{{\isacharbraceleft}{\isacharbackslash}isachardoublequote{\isacharbraceright}{\isasymexists}x{\isachardot}\ x\ {\isasymle}\ y\ {\isasymand}\ P\ x{\isacharbraceleft}{\isacharbackslash}isachardoublequote{\isacharbraceright}}
     1.9 +\isa{{\isasymforall}x{\isasymle}y{\isachardot}\ P\ x} & \isa{{\isasymrightleftharpoons}} & \isa{{\isachardoublequote}{\isasymforall}x{\isachardot}\ x\ {\isasymle}\ y\ {\isasymlongrightarrow}\ P\ x{\isachardoublequote}} \\
    1.10 +\isa{{\isasymexists}x{\isasymle}y{\isachardot}\ P\ x} & \isa{{\isasymrightleftharpoons}} & \isa{{\isachardoublequote}{\isasymexists}x{\isachardot}\ x\ {\isasymle}\ y\ {\isasymand}\ P\ x{\isachardoublequote}}
    1.11  \end{tabular}
    1.12  \end{center}
    1.13  And analogously for \isa{{\isacharless}} instead of \isa{{\isasymle}}.%