Nominal/Ex/SingleLet.thy
2010-08-14 Christian Urban improved code
2010-08-14 Christian Urban more experiments with lifting
2010-08-11 Christian Urban rsp for constructors
2010-08-11 Christian Urban added a function that transforms the helper-rsp lemmas into real rsp lemmas
less more (0) -30 -10 -4 tip