Nominal/Term1.thy
changeset 1405 3e128904baba
parent 1400 10eca65a8d03
child 1425 112f998d2953