Nominal/Nominal2_Base.thy
changeset 1437 45fb38a2e3f7
parent 1305 61319a9af976
child 1557 fee2389789ad
equal deleted inserted replaced
1436:04dad9b0136d 1437:45fb38a2e3f7