TFL/post.ML
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;