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