Nominal/Ex/SingleLet.thy
2010-05-05 Christian Urban solved the problem with equivariance by first eta-normalising the goal
2010-05-03 Cezary Kaliszyk SingleLet and Ex3 work with NewParser.
2010-05-03 Cezary Kaliszyk Equivariance fails for single let?
2010-04-20 Christian Urban renamed Ex1.thy to SingleLet.thy
less more (0) tip