6
7 Top theory for HOLCF system
8
9 *)
10
11 HOLCF = Discrete + One + Tr
11 HOLCF = Sprod3 + Ssum3 + Up3 + Lift + Discrete + One + Tr