Quot/Nominal/Rsp.thy
2010-02-23 Cezary Kaliszyk rsp for bv; the only issue is that it requires an appropriate induction principle.
2010-02-23 Cezary Kaliszyk rsp infrastructure.
less more (0) tip