Nominal/Abs.thy
changeset 1816 56cebe7f8e24
parent 1807 8a71e90cccd0
child 1841 fcc660ece040
equal deleted inserted replaced
1815:4135198bbb8a 1816:56cebe7f8e24