src/HOLCF/IOA/ABP/Lemmas.ML
changeset 8907 813fabceec00
parent 5192 704dd3a6d47d
child 12218 6597093b77e7