Nominal/Nominal2_Eqvt.thy
changeset 1530 24dbe785f2e5
parent 1423 d59f851926c5
equal deleted inserted replaced
1525:bf321f16d025 1530:24dbe785f2e5