lib/ProofGeneral/pgip_isar.xml
changeset 25250 b3a485b98963
parent 23434 b2e7d4c29614
child 33686 8e33ca8832b1