| Tue, 21 Nov 2006 20:48:11 +0100 | wenzelm | theorem(_i): note assms of statement; | changeset | files |
| Tue, 21 Nov 2006 20:48:06 +0100 | wenzelm | removed obsolete simple_note_thms; | changeset | files |
| Tue, 21 Nov 2006 20:48:03 +0100 | wenzelm | added assmsN; | changeset | files |