Quot/Examples/LamEx.thy
2010-01-15 Cezary Kaliszyk hom lifted to hom', so it is true. Infrastructure for partially regularized quantifiers. Nicer errors for regularize.
less more (0) -10 -1 tip