Nominal/Tacs.thy
changeset 2327 bcb037806e16
parent 2108 c5b7be27f105
child 2300 9fb315392493
equal deleted inserted replaced
2326:b51532dd5689 2327:bcb037806e16