1.1 --- a/lib/texinputs/isabellesym.sty Sat Dec 20 11:39:34 2008 +0100 1.2 +++ b/lib/texinputs/isabellesym.sty Sat Dec 20 11:55:34 2008 +0100 1.3 @@ -1,5 +1,3 @@ 1.4 -%% 1.5 -%% $Id$ 1.6 %% 1.7 %% definitions of standard Isabelle symbols 1.8 %%