src/HOL/IMP/Denotation.thy
changeset 48416 5787e1c911d0
parent 45015 fdac1e9880eb
child 52046 bc01725d7918
equal deleted inserted replaced
48415:b42067a3188f 48416:5787e1c911d0