src/FOLP/classical.ML
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2009-07-21 wenzelm 2009-07-21 proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
2008-05-17 wenzelm 2008-05-17 structure Display: less pervasive operations;
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