Nominal/Ex/Datatypes.thy
changeset 3140 5179ff4806c5
parent 3065 51ef8a3cb6ef
child 3208 da575186d492
child 3245 017e33849f4d
equal deleted inserted replaced
3139:e05c033d69c1 3140:5179ff4806c5