src/FOLP/classical.ML
1994-07-12 lcp 1994-07-12 chain_tac: deleted; just use etac mp
1993-09-16 clasohm 1993-09-16 Initial revision