(* $Id: ROOT.ML,v 1.4 2005/09/18 13:20:10 wenzelm Exp $ *)

time_use_thy "washing";
time_use_thy "ILL_predlog";
time_use "ILL_kleene_lemmas.ML";