*** empty log message ***
authoroheimb
Thu Jan 27 15:30:10 2000 +0100 (2000-01-27)
changeset 8147b712b870a5d1
parent 8146 3243f2261d4b
child 8148 5ef0b624aadb
*** empty log message ***
lib/texinputs/isabellesym.sty
     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