Admin/ProofGeneral/isar-antiq-regexp.patch
changeset 37891 c26f9d06e82c
parent 33900 528cb0c58451
equal deleted inserted replaced
37890:aae46a9ef66c 37891:c26f9d06e82c