| Tue, 05 Dec 2006 00:42:36 +0100 | wenzelm | * Pure: official theorem names and additional comments are now strictly separate. | changeset | files |
| Tue, 05 Dec 2006 00:30:38 +0100 | wenzelm | thm/prf: separate official name vs. additional tags; | changeset | files |
| Tue, 05 Dec 2006 00:29:19 +0100 | wenzelm | thm/prf: separate official name vs. additional tags; | changeset | files |
| Tue, 05 Dec 2006 00:29:16 +0100 | wenzelm | notes: added non-official name; | changeset | files |