src/FOLP/classical.ML
2005-09-20 haftmann 2005-09-20 slight adaptions to library changes
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
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