CamlProg(kb,prelude.zo terms.zo equation.zo order.zo kb.zo go.zo,)
syntax highlighted by
Code2HTML
, v. 0.9.1