Nominal/Fv.thy
changeset 1360 c54cb3f7ac70
parent 1359 3bf496a971c6
child 1362 e72d9d9eada3
equal deleted inserted replaced
1359:3bf496a971c6 1360:c54cb3f7ac70