lib/ProofGeneral/pgip_isar.xml
changeset 44498 a4cbf5668a54
parent 33686 8e33ca8832b1
equal deleted inserted replaced
44497:b20309fa102b 44498:a4cbf5668a54