1 (* Title: HOL/IOA/ex/ROOT.ML
1 (* Title: HOLCF/IOA/ex/ROOT.ML
2 ID: $Id$
3 Author: Olaf Mueller
4 *)
5
6 time_use_thy "TrivEx";