src/CCL/ROOT.ML
1995-10-24 clasohm 1995-10-24 added calls of init_html and make_chart
1995-04-06 lcp 1995-04-06 Now sets eta_contract.
1993-11-16 clasohm 1993-11-16 changed use_thy's parameter to exact theory name
1993-10-22 clasohm 1993-10-22 changes for new Readthy
1993-10-17 clasohm 1993-10-17 renamed: terms.* to term.*, types.* to type.*, wf.* to wfd.*
1993-09-16 clasohm 1993-09-16 Initial revision