doc-src/AxClass/generated/isabellesym.sty

--- a/doc-src/AxClass/generated/isabellesym.sty	Sun Oct 15 19:51:19 2000 +0200
+++ b/doc-src/AxClass/generated/isabellesym.sty	Sun Oct 15 19:51:56 2000 +0200
@@ -14,13 +14,6 @@
 %\usepackage[only,bigsqcap]{stmaryrd}
 %\usepackage{wasysym}
 
-% Note: \emph is important for proper spacing in fake math mode, it
-% automatically inserts italic corrections around symbols wherever
-% appropriate.
-
-\newcommand{\isamath}[1]{\emph{$#1$}}
-\newcommand{\isatext}[1]{\emph{#1}}
-
 
 % symbol definitions