lib/ProofGeneral/schemas.xml
2005-09-30 aspinall 2005-09-30 Schema files (for information, and validating pgip_isar.xml)