Quot/Examples/LamEx.thy
Fri, 15 Jan 2010 15:51:25 +0100 Cezary Kaliszyk hom lifted to hom', so it is true. Infrastructure for partially regularized quantifiers. Nicer errors for regularize.
Fri, 15 Jan 2010 12:17:30 +0100 Christian Urban slight tuning of relation_error
Fri, 15 Jan 2010 11:04:21 +0100 Cezary Kaliszyk Appropriate respects and a statement of the lifted hom lemma
less more (0) -10 -3 tip