--- a/lib/texinputs/isabelle.sty Tue May 24 11:19:50 2005 +0200
+++ b/lib/texinputs/isabelle.sty Tue May 24 14:28:59 2005 +0200
@@ -3,6 +3,7 @@
%%
%% macros for Isabelle generated LaTeX output
%%
+%% $Id$
%%% Simple document preparation (based on theory token language and symbols)