lib/texinputs/isabellesym.sty

--- a/lib/texinputs/isabellesym.sty	Fri Oct 13 18:32:08 2000 +0200
+++ b/lib/texinputs/isabellesym.sty	Sun Oct 15 19:50:35 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