lib/ProofGeneral/pgip_isar.xml
changeset 15900 d6156cb8dc2e
parent 15193 4ed712d3551f
child 17730 643f0f4293ae
equal deleted inserted replaced
15899:e30f9161890f 15900:d6156cb8dc2e