| Tue, 29 Jul 2008 14:07:23 +0200 | haftmann | corrected Pure dependency | changeset | files |
| Tue, 29 Jul 2008 13:16:54 +0200 | nipkow | added removeAll | changeset | files |
| Tue, 29 Jul 2008 08:15:44 +0200 | haftmann | tuned; explicit export of element accessors | changeset | files |
| Tue, 29 Jul 2008 08:15:40 +0200 | haftmann | PureThy: dropped note_thmss_qualified, dropped _i suffix | changeset | files |
| Tue, 29 Jul 2008 08:15:39 +0200 | haftmann | some steps towards explicit class target for canonical interpretation | changeset | files |
| Tue, 29 Jul 2008 08:15:38 +0200 | haftmann | declare | changeset | files |
| Mon, 28 Jul 2008 20:49:07 +0200 | nipkow | *** empty log message *** | changeset | files |