src/Pure/ProofGeneral/pgip_parser.ML
2007-08-09 aspinall 2007-08-09 PGIP change: thyname is optional in opentheory, markup even in case of header parse failure
2007-07-19 wenzelm 2007-07-19 adapted ThyHeader.read;
2007-07-12 wenzelm 2007-07-12 Parsing theory sources without execution (via keyword classification).