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