Nominal/Ex/LetSimple2.thy
changeset 3006 4baa2fccfb61
parent 2977 a4b6e997a7c6
child 3235 5ebd327ffb96
equal deleted inserted replaced
3005:4df720c9b660 3006:4baa2fccfb61