| changeset 16353 | 94e565ded526 |
| parent 15909 | 5f0c8a3f0226 |
| child 17125 | e6a82d1a1829 |
--- a/doc-src/IsarOverview/Isar/document/isabelle.sty Thu Jun 09 12:04:53 2005 +0200 +++ b/doc-src/IsarOverview/Isar/document/isabelle.sty Thu Jun 09 12:06:38 2005 +0200 @@ -3,6 +3,7 @@ %% %% macros for Isabelle generated LaTeX output %% +%% $Id$ %%% Simple document preparation (based on theory token language and symbols)