Nominal/Ex/Datatypes.thy
changeset 2572 73196608ec04
parent 2559 add799cf0817
child 2617 e44551d067e6
equal deleted inserted replaced
2571:f0252365936c 2572:73196608ec04