| Sat, 29 May 2004 14:59:24 +0200 | wenzelm | Sign.infer_types: Sign.pp; | file | diff | annotate |
| Fri, 17 Oct 2003 11:03:48 +0200 | paulson | improved tracing | file | diff | annotate |
| Fri, 03 Oct 2003 12:36:16 +0200 | paulson | added a comment | file | diff | annotate |
| Wed, 01 Oct 2003 11:02:36 +0200 | berghofe | Fixed inefficiency in post_definition by adding weak case congruence | file | diff | annotate |
| Wed, 20 Feb 2002 00:53:53 +0100 | wenzelm | Symbol.bump_string; | file | diff | annotate |
| Fri, 28 Sep 2001 19:23:35 +0200 | wenzelm | prove: ``strict'' argument; | file | diff | annotate |
| Wed, 25 Jul 2001 18:21:01 +0200 | paulson | defer_recdef (lazyR_def) now looks for theorem Hilbert_Choice.tfl_some | file | diff | annotate |
| Wed, 03 Jan 2001 21:20:40 +0100 | wenzelm | renamed .sml files to .ML; | file | diff | annotate |