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