--- a/doc-src/isar.sty Fri May 09 23:20:43 2008 +0200 +++ b/doc-src/isar.sty Fri May 09 23:21:33 2008 +0200 @@ -1,8 +1,5 @@ %% $Id$ -%% -%% Isar language elements -%% \usepackage{ifthen}