Wed, 18 Nov 1998 11:00:02 +0100 | wenzelm | tuned comments; | changeset | files |
Wed, 18 Nov 1998 10:59:44 +0100 | wenzelm | 'prop', 'term', 'typ'; | changeset | files |
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 |