| Tue, 31 May 2005 11:53:15 +0200 | wenzelm | renamed cond_extern to extern; | changeset | files |
| Tue, 31 May 2005 11:53:14 +0200 | wenzelm | Theory.restore_naming; | changeset | files |
| Tue, 31 May 2005 11:53:13 +0200 | wenzelm | renamed cond_extern to extern; | changeset | files |
| Tue, 31 May 2005 11:53:12 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 31 May 2005 11:53:11 +0200 | wenzelm | antiquotations: added options short_names, unique_names; | changeset | files |
| Tue, 31 May 2005 11:53:10 +0200 | wenzelm | improved naming of complex theorems in presentation; | changeset | files |
| Tue, 31 May 2005 11:00:59 +0200 | wenzelm | removed; | changeset | files |