diff -r 32871d7fbb0a -r e6d6f09db29c doc-src/AxClass/generated/isabellesym.sty
--- a/doc-src/AxClass/generated/isabellesym.sty	Fri Dec 15 18:43:48 2000 +0100
+++ b/doc-src/AxClass/generated/isabellesym.sty	Fri Dec 15 19:04:22 2000 +0100
@@ -134,11 +134,11 @@
 \newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}}
 \newcommand{\isasymleadsto}{\isamath{\leadsto}}  %requires latexsym
 \newcommand{\isasymup}{\isamath{\uparrow}}
-\newcommand{\isasymUparrow}{\isamath{\Uparrow}}
+\newcommand{\isasymUp}{\isamath{\Uparrow}}
 \newcommand{\isasymdown}{\isamath{\downarrow}}
-\newcommand{\isasymDownarrow}{\isamath{\Downarrow}}
-\newcommand{\isasymupdownarrow}{\isamath{\updownarrow}}
-\newcommand{\isasymUpdownarrow}{\isamath{\Updownarrow}}
+\newcommand{\isasymDown}{\isamath{\Downarrow}}
+\newcommand{\isasymupdown}{\isamath{\updownarrow}}
+\newcommand{\isasymUpdown}{\isamath{\Updownarrow}}
 \newcommand{\isasymlangle}{\isamath{\langle}}
 \newcommand{\isasymrangle}{\isamath{\rangle}}
 \newcommand{\isasymlceil}{\isamath{\lceil}}
@@ -158,9 +158,9 @@
 \newcommand{\isasymbottom}{\isamath{\bot}}
 \newcommand{\isasymtop}{\isamath{\top}}
 \newcommand{\isasymand}{\isamath{\wedge}}
+\newcommand{\isasymAnd}{\isamath{\bigwedge\,}}
 \newcommand{\isasymor}{\isamath{\vee}}
-\newcommand{\isasymAnd}{\isamath{\bigwedge\,}}
-\newcommand{\isasymOr}{\isamath{\bigvee}}
+\newcommand{\isasymOr}{\isamath{\bigvee\,}}
 \newcommand{\isasymforall}{\isamath{\forall\,}}
 \newcommand{\isasymexists}{\isamath{\exists\,}}
 \newcommand{\isasymbox}{\isamath{\Box}}  %requires latexsym
@@ -188,15 +188,15 @@
 \newcommand{\isasymsqsubseteq}{\isamath{\sqsubseteq}}
 \newcommand{\isasymsqsupseteq}{\isamath{\sqsupseteq}}
 \newcommand{\isasyminter}{\isamath{\cap}}
+\newcommand{\isasymInter}{\isamath{\bigcap\,}}
 \newcommand{\isasymunion}{\isamath{\cup}}
-\newcommand{\isasymInter}{\isamath{\bigcap\,}}
 \newcommand{\isasymUnion}{\isamath{\bigcup\,}}
 \newcommand{\isasymsqunion}{\isamath{\sqcup}}
+\newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}}
 \newcommand{\isasymsqinter}{\isamath{\sqcap}}
-\newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}}
 \newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires stmaryrd
 \newcommand{\isasymuplus}{\isamath{\uplus}}
-\newcommand{\isasymbiguplus}{\isamath{\biguplus}}
+\newcommand{\isasymUplus}{\isamath{\biguplus\,}}
 \newcommand{\isasymnoteq}{\isamath{\not=}}
 \newcommand{\isasymsim}{\isamath{\sim}}
 \newcommand{\isasymdoteq}{\isamath{\doteq}}
@@ -234,17 +234,21 @@
 \newcommand{\isasymtriangle}{\isamath{\triangle}}
 \newcommand{\isasymtriangleq}{\isamath{\triangleq}}  %requires amssymb
 \newcommand{\isasymoplus}{\isamath{\oplus}}
+\newcommand{\isasymOplus}{\isamath{\bigoplus\,}}
+\newcommand{\isasymotimes}{\isamath{\otimes}}
+\newcommand{\isasymOtimes}{\isamath{\bigotimes\,}}
+\newcommand{\isasymodot}{\isamath{\odot}}
+\newcommand{\isasymOdot}{\isamath{\bigodot\,}}
 \newcommand{\isasymominus}{\isamath{\ominus}}
-\newcommand{\isasymotimes}{\isamath{\otimes}}
 \newcommand{\isasymoslash}{\isamath{\oslash}}
-\newcommand{\isasymodot}{\isamath{\odot}}
-\newcommand{\isasyminfinity}{\isamath{\infty}}
 \newcommand{\isasymdots}{\isamath{\dots}}
 \newcommand{\isasymcdots}{\isamath{\cdots}}
 \newcommand{\isasymSum}{\isamath{\sum\,}}
 \newcommand{\isasymProd}{\isamath{\prod\,}}
+\newcommand{\isasymCoprod}{\isamath{\coprod\,}}
+\newcommand{\isasyminfinity}{\isamath{\infty}}
 \newcommand{\isasymintegral}{\isamath{\int\,}}
-\newcommand{\isasymJoin}{\isamath{\Join}}  %requires latexsym
+\newcommand{\isasymointegral}{\isamath{\oint\,}}
 \newcommand{\isasymclubsuit}{\isamath{\clubsuit}}
 \newcommand{\isasymdiamondsuit}{\isamath{\diamondsuit}}
 \newcommand{\isasymheartsuit}{\isamath{\heartsuit}}
@@ -284,4 +288,5 @@
 \newcommand{\isasymamalg}{\isamath{\amalg}}
 \newcommand{\isasymmho}{\isamath{\mho}}  %requires latexsym
 \newcommand{\isasymlozenge}{\isamath{\lozenge}}  %requires amssym
+\newcommand{\isasymJoin}{\isamath{\Join}}  %requires latexsym
 \newcommand{\isasymspacespace}{\isamath{~~}}