src/Pure/Thy/thy_header.scala
2009-09-01 wenzelm 2009-09-01 modernized Thy_Header;
2009-08-29 wenzelm 2009-08-29 misc tuning;
2008-12-19 wenzelm 2008-12-19 removed Ids;
2008-10-04 wenzelm 2008-10-04 Theory header keywords.