Quot/Nominal/Fv.thy
Wed, 17 Feb 2010 15:20:22 +0100 Cezary Kaliszyk Bindings adapted to multiple defined datatypes.
Wed, 17 Feb 2010 15:00:04 +0100 Cezary Kaliszyk Reorganization
Wed, 17 Feb 2010 14:44:32 +0100 Cezary Kaliszyk Now should work.
Wed, 17 Feb 2010 14:35:06 +0100 Cezary Kaliszyk Some optimizations and fixes.
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.
less more (0) tip