Nominal/Manual/Term8.thy
branchNominal2-Isabelle2011-1
changeset 3067 c32bdb3f0a68
parent 1937 ffca58ce9fbc
equal deleted inserted replaced
3044:a609eea06119 3067:c32bdb3f0a68