src/Sequents/LK/quant.ML
2005-09-18 wenzelm 2005-09-18 converted to Isar theory format;
1999-02-05 wenzelm 1999-02-05 examples made separate dirs;