src/Sequents/LK/quant.ML
Sun, 18 Sep 2005 15:20:08 +0200 wenzelm converted to Isar theory format;
Fri, 05 Feb 1999 21:14:17 +0100 wenzelm examples made separate dirs;
less more (0) tip