Nominal/Abs.thy
changeset 1448 f2c50884dfb9
parent 1442 097b25706436
child 1451 104bdc0757e9
equal deleted inserted replaced
1447:378b8c791de8 1448:f2c50884dfb9