Nominal/Ex/CoreHaskell.thy
2010-08-11 Christian Urban added a function that transforms the helper-rsp lemmas into real rsp lemmas
less more (0) -10 -1 tip