Quot/Nominal/Terms.thy
Thu, 11 Feb 2010 15:08:45 +0100 Cezary Kaliszyk Testing foo/bar
Thu, 11 Feb 2010 14:23:26 +0100 Cezary Kaliszyk Even when bv = fv it still doesn't lift.
Thu, 11 Feb 2010 14:00:00 +0100 Cezary Kaliszyk Notation available locally
less more (0) -30 -10 -3 tip