| Fri, 30 Jan 1998 11:34:06 +0100 | wenzelm | tuned msgs; | file | diff | annotate |
| Mon, 29 Dec 1997 14:31:20 +0100 | wenzelm | pretty_name_space; | file | diff | annotate |
| Sun, 28 Dec 1997 14:56:44 +0100 | wenzelm | renamed Symtab.null to Symtab.empty; | file | diff | annotate |
| Thu, 20 Nov 1997 15:30:37 +0100 | wenzelm | improved theorems print method: transfer_sg; | file | diff | annotate |
| Tue, 04 Nov 1997 16:17:04 +0100 | wenzelm | type object = exn (enhance readability); | file | diff | annotate |
| Mon, 03 Nov 1997 11:46:25 +0100 | wenzelm | made SML/97 happy; | file | diff | annotate |
| Thu, 30 Oct 1997 17:04:54 +0100 | wenzelm | tuned thy_data; | file | diff | annotate |
| Thu, 30 Oct 1997 10:01:46 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 28 Oct 1997 17:36:16 +0100 | wenzelm | added ignored_consts, thms_containing, add_store_axioms(_i), | file | diff | annotate |
| Mon, 27 Oct 1997 16:01:53 +0100 | wenzelm | oops; | file | diff | annotate |
| Mon, 27 Oct 1997 15:57:50 +0100 | wenzelm | renamed put_* to store_*; | file | diff | annotate |
| Fri, 24 Oct 1997 18:02:23 +0200 | wenzelm | oops, swap warnings; | file | diff | annotate |
| Fri, 24 Oct 1997 17:11:23 +0200 | wenzelm | Init 'theorems' data. The Pure theories. | file | diff | annotate |