src/CCL/Lfp.ML
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