lib/texinputs/isabellesym.sty
changeset 8147 b712b870a5d1
parent 7979 bd9b0151c932
child 8188 7a4445000fc2
     1.1 --- a/lib/texinputs/isabellesym.sty	Wed Jan 26 21:12:40 2000 +0100
     1.2 +++ b/lib/texinputs/isabellesym.sty	Thu Jan 27 15:30:10 2000 +0100
     1.3 @@ -5,6 +5,7 @@
     1.4  %%
     1.5  
     1.6  \usepackage{latexsym}
     1.7 +%\usepackage[latin1]{inputenc}
     1.8  
     1.9  \newcommand{\bigsqcap}{\overline{|\,\,|}}  %just a hack
    1.10  %\def\textbrokenbar??? etc