Nominal/LFex.thy
changeset 1575 2c37f5a8c747
parent 1561 c3dca6e600c8
child 1576 7b8f570b2450
equal deleted inserted replaced
1574:69c9d53fb817 1575:2c37f5a8c747