src/FOLP/classical.ML
1998-02-25 oheimb 1998-02-25 renamed rep_claset to rep_cs
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1996-01-29 clasohm 1996-01-29 expanded tabs
1994-07-12 lcp 1994-07-12 chain_tac: deleted; just use etac mp
1993-09-16 clasohm 1993-09-16 Initial revision