TFL/post.ML
2006-07-08 wenzelm 2006-07-08 tuned interface;
2006-06-19 wenzelm 2006-06-19 refrain from reforming TFL -- back to previous revision;
2006-06-19 wenzelm 2006-06-19 eliminated freeze/varify in favour of Variable.import/export/trade;
2006-06-13 wenzelm 2006-06-13 tuned;
2006-05-27 wenzelm 2006-05-27 tuned;
2006-01-14 wenzelm 2006-01-14 sane ERROR handling;
2005-11-09 wenzelm 2005-11-09 tuned;
2005-10-21 wenzelm 2005-10-21 OldGoals;
2005-09-23 wenzelm 2005-09-23 tuned msg;
2005-08-01 wenzelm 2005-08-01 Sign.read_term;
2005-07-14 wenzelm 2005-07-14 replaced itlist by fold_rev;
2005-06-05 wenzelm 2005-06-05 Type.freeze;
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-09-02 dixon 2004-09-02 added code to make use of case splitting to prove the specification equations for recursive definitions.
2004-08-20 paulson 2004-08-20 fix to eliminate excessive case-splits in the recursion equations, by Luca Dixon
2003-10-17 paulson 2003-10-17 improved tracing
2002-08-13 nipkow 2002-08-13 arith_tac should not produce counter example
2001-12-13 nipkow 2001-12-13 Terminator now uses arith_tac as well.
2001-12-03 wenzelm 2001-12-03 HOLogic.read_cterm;
2001-10-14 wenzelm 2001-10-14 moved rulify to ObjectLogic;
2001-09-28 wenzelm 2001-09-28 prove: ``strict'' argument;
2001-02-02 wenzelm 2001-02-02 tuned;
2001-01-03 wenzelm 2001-01-03 renamed .sml files to .ML; proper handling of Isabelle exceptions; tuned;