1
(* Title: HOLCF/ex/ROOT.ML
2
ID: $Id$
3
4
Misc HOLCF examples.
5
*)
6
7
use_thys ["Dnat", "Stream", "Dagstuhl", "Focus_ex", "Fix2", "Hoare",
8
"Loop", "Fixrec_ex"];