--- a/lib/texinputs/isabellesym.sty Tue May 24 11:19:50 2005 +0200 +++ b/lib/texinputs/isabellesym.sty Tue May 24 14:28:59 2005 +0200 @@ -3,6 +3,7 @@ %% %% definitions of standard Isabelle symbols %% +%% $Id$ % symbol definitions