# HG changeset patch
# User oheimb
# Date 948983410 -3600
# Node ID b712b870a5d1b21cf14b96cf8c114c3c97cd67ad
# Parent  3243f2261d4bda29b3b9eff7d6e795f8b03639e1
*** empty log message ***

diff -r 3243f2261d4b -r b712b870a5d1 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Wed Jan 26 21:12:40 2000 +0100
+++ b/lib/texinputs/isabellesym.sty	Thu Jan 27 15:30:10 2000 +0100
@@ -5,6 +5,7 @@
 %%
 
 \usepackage{latexsym}
+%\usepackage[latin1]{inputenc}
 
 \newcommand{\bigsqcap}{\overline{|\,\,|}}  %just a hack
 %\def\textbrokenbar??? etc