TFL/tfl.ML
Fri, 17 Oct 2003 11:03:48 +0200 paulson improved tracing
Fri, 03 Oct 2003 12:36:16 +0200 paulson added a comment
Wed, 01 Oct 2003 11:02:36 +0200 berghofe Fixed inefficiency in post_definition by adding weak case congruence
Wed, 20 Feb 2002 00:53:53 +0100 wenzelm Symbol.bump_string;
Fri, 28 Sep 2001 19:23:35 +0200 wenzelm prove: ``strict'' argument;
Wed, 25 Jul 2001 18:21:01 +0200 paulson defer_recdef (lazyR_def) now looks for theorem Hilbert_Choice.tfl_some
Wed, 03 Jan 2001 21:20:40 +0100 wenzelm renamed .sml files to .ML;
less more (0) tip