src/Sequents/ILL/ILL_predlog.thy
2005-09-18 wenzelm 2005-09-18 converted to Isar theory format;
2004-06-01 wenzelm 2004-06-01 removed obsolete sort 'logic';
1999-02-05 wenzelm 1999-02-05 examples made separate dirs;