src/CCL/equalities.ML
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-01-29 clasohm 1996-01-29 expanded tabs
1994-11-30 clasohm 1994-11-30 added qed and qed_goal[w]
1993-09-16 clasohm 1993-09-16 Initial revision