Nominal/Term5.thy
changeset 1460 0fd03936dedb
parent 1458 9cb619aa933c
child 1462 7c59dd8e5435
equal deleted inserted replaced
1459:d6d22254aeb7 1460:0fd03936dedb