1
(* $Id$ *)
2
3
time_use_thy "washing";
4
time_use_thy "ILL_predlog";
5
time_use "ILL_kleene_lemmas.ML";