Quot/Examples/LFex.thy
2010-02-12 Cezary Kaliszyk renamed 'as' to 'is' everywhere.
less more (0) -10 -1 tip