Nominal/Ex/Term8.thy
changeset 2112 7c9746795767
parent 2097 60ce41a11180
child 2147 e83493622e6f
equal deleted inserted replaced
2109:287aa0d3d23a 2112:7c9746795767