--- a/lib/texinputs/isabellesym.sty Sun Jan 07 21:41:56 2001 +0100 +++ b/lib/texinputs/isabellesym.sty Sun Jan 07 21:45:14 2001 +0100 @@ -1,5 +1,4 @@ %% -%% $Id$ %% Author: Markus Wenzel, TU Muenchen %% License: GPL (GNU GENERAL PUBLIC LICENSE) %%