1 (* Title: HOLCF/ex/ROOT.ML
2
3 Misc HOLCF examples.
4 *)
5
6 use_thys ["Dnat", "Dagstuhl", "Focus_ex", "Fix2", "Hoare",
7 "Loop", "Powerdomain_ex", "Domain_Proofs",
8 "Letrec",
9 "Pattern_Match"];