Quot/Nominal/Fv.thy
Wed, 17 Feb 2010 14:17:02 +0100 Cezary Kaliszyk Simplified format of bindings.
Wed, 17 Feb 2010 10:20:26 +0100 Cezary Kaliszyk Description of intended bindings.
Wed, 17 Feb 2010 10:12:01 +0100 Cezary Kaliszyk Code for generating the fv function, no bindings yet.
less more (0) tip