src/Sequents/ILL/ILL_predlog.ML
2005-09-18 wenzelm 2005-09-18 converted to Isar theory format;
2005-06-17 paulson 2005-06-17 removed redundant "open" declarations
1999-02-05 wenzelm 1999-02-05 examples made separate dirs;