| changeset 16075 | 8852058ecf8d |
| parent 15893 | c0cd613a49eb |
| child 17125 | e6a82d1a1829 |
--- a/doc-src/LaTeXsugar/Sugar/document/isabelle.sty Wed May 25 10:43:15 2005 +0200 +++ b/doc-src/LaTeXsugar/Sugar/document/isabelle.sty Wed May 25 10:51:42 2005 +0200 @@ -3,6 +3,7 @@ %% %% macros for Isabelle generated LaTeX output %% +%% $Id$ %%% Simple document preparation (based on theory token language and symbols)