2005-03-04 | skalberg | Removed practically all references to Library.foldr. | file | diff | annotate |
2005-03-03 | skalberg | Move towards standard functions. | file | diff | annotate |
2005-02-13 | skalberg | Deleted Library.option type. | file | diff | annotate |
2004-05-29 | wenzelm | Sign.infer_types: Sign.pp; | file | diff | annotate |
2003-10-17 | paulson | improved tracing | file | diff | annotate |
2003-10-03 | paulson | added a comment | file | diff | annotate |
2003-10-01 | berghofe | Fixed inefficiency in post_definition by adding weak case congruence | file | diff | annotate |
2002-02-19 | wenzelm | Symbol.bump_string; | file | diff | annotate |
2001-09-28 | wenzelm | prove: ``strict'' argument; | file | diff | annotate |
2001-07-25 | paulson | defer_recdef (lazyR_def) now looks for theorem Hilbert_Choice.tfl_some | file | diff | annotate |
2001-01-03 | wenzelm | renamed .sml files to .ML; | file | diff | annotate |