Nominal/Tacs.thy
changeset 2097 60ce41a11180
parent 2049 38bbccdf9ff9
child 2108 c5b7be27f105
equal deleted inserted replaced
2095:ae94bae5bb93 2097:60ce41a11180