--- a/src/Pure/Thy/thy_header.scala Thu Dec 18 09:30:36 2008 -0800 +++ b/src/Pure/Thy/thy_header.scala Fri Dec 19 20:37:29 2008 +0100 @@ -1,5 +1,4 @@ /* Title: Pure/Thy/thy_header.scala - ID: $Id$ Author: Makarius Theory header keywords.