src/Sequents/LK/Hard_Quantifiers.thy
Wed, 09 May 2007 19:37:21 +0200 wenzelm tuned ML setup;
Mon, 20 Nov 2006 23:47:10 +0100 wenzelm converted legacy ML scripts;
less more (0) tip