| Wed, 10 Jun 1998 17:56:21 +0200 | wenzelm | tuned transaction; | file | diff | annotate |
| Wed, 10 Jun 1998 11:57:40 +0200 | wenzelm | moved add_axioms_x, add_defs_x to Isar/isar_thy.ML; | file | diff | annotate |
| Mon, 08 Jun 1998 15:58:56 +0200 | wenzelm | use type-safe theory data interface; | file | diff | annotate |
| Fri, 05 Jun 1998 14:32:23 +0200 | wenzelm | added print_theorems: theory -> unit; | file | diff | annotate |
| Mon, 25 May 1998 21:24:27 +0200 | wenzelm | added get_name, put_name, global_path, local_path, begin_theory, | file | diff | annotate |
| Fri, 15 May 1998 11:34:49 +0200 | wenzelm | added add_axioms_x, add_defs_x; | file | diff | annotate |
| Wed, 13 May 1998 12:23:28 +0200 | wenzelm | added thms_closure: theory -> xstring -> tthm list option; | file | diff | annotate |
| Wed, 29 Apr 1998 11:29:00 +0200 | wenzelm | tuned names of (add_)store_XXX functions; | file | diff | annotate |
| Sat, 04 Apr 1998 12:26:47 +0200 | wenzelm | type_error; | file | diff | annotate |
| Sat, 04 Apr 1998 11:42:26 +0200 | wenzelm | added Goal_def; | file | diff | annotate |
| Fri, 03 Apr 1998 14:37:48 +0200 | wenzelm | added get_tthm(s), store_tthms(s); | file | diff | annotate |
| 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 |