Nominal/Ex/Term8.thy
2010-05-17 Cezary Kaliszyk alpha_alphabn for bindings in a type under bn.
2010-05-10 Cezary Kaliszyk Term8 comment
2010-05-09 Christian Urban cleaned up a bit the examples; added equivariance to all examples
2010-05-04 Cezary Kaliszyk Separate Term8, as it may work soon.
less more (0) tip