1.1 --- a/doc-src/System/Thy/Presentation.thy	Mon Jul 20 19:58:11 2009 +0200
     1.2 +++ b/doc-src/System/Thy/Presentation.thy	Mon Jul 20 20:03:19 2009 +0200
     1.3 @@ -1,5 +1,3 @@
     1.4 -(* $Id$ *)
     1.5 -
     1.6  theory Presentation
     1.7  imports Pure
     1.8  begin