| Thu, 30 Nov 2006 14:17:22 +0100 | wenzelm | simplified syntax for 'definition', 'abbreviation'; | changeset | files |
| Wed, 29 Nov 2006 23:33:09 +0100 | wenzelm | *** bad commit -- reverted to previous version *** | changeset | files |
| Wed, 29 Nov 2006 23:28:13 +0100 | wenzelm | removed export_standard_morphism; | changeset | files |
| Wed, 29 Nov 2006 23:28:11 +0100 | wenzelm | simplified add_thmss; | changeset | files |