| Wed, 18 Nov 1998 10:59:20 +0100 | wenzelm | load; | changeset | files |
| Wed, 18 Nov 1998 10:56:53 +0100 | wenzelm | export exn_message; | changeset | files |
| Wed, 18 Nov 1998 10:56:38 +0100 | wenzelm | removed trace; | changeset | files |
| Tue, 17 Nov 1998 14:26:32 +0100 | wenzelm | BREAK: include state; | changeset | files |
| Tue, 17 Nov 1998 14:25:40 +0100 | wenzelm | have_tthms; | changeset | files |
| Tue, 17 Nov 1998 14:25:02 +0100 | wenzelm | PureThy.default_name; | changeset | files |
| Tue, 17 Nov 1998 14:24:15 +0100 | wenzelm | generalized (opt_)thm_name; | changeset | files |
| Tue, 17 Nov 1998 14:23:13 +0100 | wenzelm | exception METHOD_FAIL; | changeset | files |
| Tue, 17 Nov 1998 14:14:38 +0100 | wenzelm | added have_theorems, have_lemmas, have_facts; | changeset | files |
| Tue, 17 Nov 1998 14:13:32 +0100 | wenzelm | added 'theorems', 'lemmas', 'note'; | changeset | files |
| Tue, 17 Nov 1998 14:12:13 +0100 | wenzelm | break: exhibit state; | changeset | files |
| Tue, 17 Nov 1998 14:11:38 +0100 | wenzelm | exception ATTRIB_FAIL; | changeset | files |
| Tue, 17 Nov 1998 14:10:40 +0100 | wenzelm | removed trace; | changeset | files |
| Tue, 17 Nov 1998 14:09:29 +0100 | wenzelm | Symbol.space; | changeset | files |