Nominal/Ex/LetRec.thy
changeset 2985 05ccb61aa628
parent 2975 c62e26830420
child 3183 313e6f2cdd89
equal deleted inserted replaced
2983:4436039cc5e1 2985:05ccb61aa628