lib/ProofGeneral/pgip_isar.xml
changeset 17335 7cff05c90a0e
parent 15193 4ed712d3551f
child 17730 643f0f4293ae