| Fri, 06 Aug 1999 11:07:25 +0200 | paulson | now catches exn THEORY and prints an error message | file | diff | annotate |
| Tue, 09 Mar 1999 12:17:40 +0100 | wenzelm | Present.theorem; | file | diff | annotate |
| Wed, 03 Feb 1999 17:23:35 +0100 | wenzelm | open BasicThmDatabase; | file | diff | annotate |
| Fri, 23 Oct 1998 16:44:50 +0200 | wenzelm | export is_ml_identifier; | file | diff | annotate |
| Thu, 20 Aug 1998 09:25:59 +0200 | paulson | Now qed_spec_mp respects locales, by calling ml_store_thm | file | diff | annotate |
| Fri, 17 Jul 1998 10:50:28 +0200 | paulson | added comments | file | diff | annotate |
| Mon, 29 Jun 1998 10:32:06 +0200 | wenzelm | use_text: verbose flag; | file | diff | annotate |
| Mon, 15 Jun 1998 11:06:00 +0200 | wenzelm | use_text replaces use_strings; | file | diff | annotate |
| Fri, 09 Jan 1998 14:02:34 +0100 | wenzelm | thm_ord; | file | diff | annotate |
| Thu, 08 Jan 1998 18:19:48 +0100 | wenzelm | fixed thm_less; | file | diff | annotate |
| Fri, 19 Dec 1997 09:58:03 +0100 | wenzelm | adapted to new sort function; | file | diff | annotate |
| Wed, 26 Nov 1997 16:37:43 +0100 | wenzelm | fixed type of thms_containing; | file | diff | annotate |
| Thu, 30 Oct 1997 10:01:46 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 28 Oct 1997 17:37:46 +0100 | wenzelm | restructured -- uses PureThy storage facilities; | file | diff | annotate |
| Fri, 24 Oct 1997 17:19:14 +0200 | wenzelm | ProtoPure.flexpair_def; | file | diff | annotate |