src/CTT/CTT.ML
2000-07-05 paulson 2000-07-05 more tidying. also generalized some tactics to prove "Type A" and "a = b : A" judgements
2000-07-05 paulson 2000-07-05 removed batch proofs
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1997-10-17 wenzelm 1997-10-17 adapted to qualified names;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-01-29 clasohm 1996-01-29 expanded tabs
1995-10-24 clasohm 1995-10-24 added calls of init_html and make_chart; added usage of qed
1994-05-04 lcp 1994-05-04 CTT.ML/SumE_fst,SumE_snd: tidied
1993-09-16 clasohm 1993-09-16 Initial revision