src/Sequents/ILL/ROOT.ML
author wenzelm
Sun Sep 18 15:20:08 2005 +0200 (2005-09-18)
changeset 17481 75166ebb619b
parent 9000 c20d58286a51
permissions -rw-r--r--
converted to Isar theory format;
     1 (* $Id$ *)
     2 
     3 time_use_thy "washing";
     4 time_use_thy "ILL_predlog";
     5 time_use "ILL_kleene_lemmas.ML";