src/CTT/Arith.ML
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-03 lcp 1994-05-03 CTT/Arith.ML: replaced many rewrite_goals_tac calls by prove_goalw
1993-09-16 clasohm 1993-09-16 Initial revision