prove_goal.el
1993-09-16 ago Initial revision