| 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 |