Nominal/Nominal2_Eqvt.thy
changeset 1279 d53b7f24450b
parent 1258 7d8949da7d99
child 1315 43d6e3730353
equal deleted inserted replaced
1278:8814494fe4da 1279:d53b7f24450b