(* Title: HOLCF/IOA/ex/ROOT.ML ID: $Id$ Author: Olaf Mueller *) time_use_thy "TrivEx"; time_use_thy "TrivEx2";