--- 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