src/FOLP/ex/Quantifiers_Cla.thy
Wed, 26 Mar 2008 22:38:55 +0100 wenzelm converted legacy ML scripts;
less more (0) tip