lib/ProofGeneral/pgip_isar.xml
changeset 30235 58d147683393
parent 23434 b2e7d4c29614
child 33686 8e33ca8832b1