Nominal/Nominal2_FSet.thy
changeset 2516 c86b98642013
parent 2471 894599a50af3
child 2524 693562f03eee
equal deleted inserted replaced
2515:06a8f782b2c1 2516:c86b98642013