| Tue, 27 Dec 2011 09:15:26 +0100 | haftmann | dropped fact whose names clash with corresponding facts on canonical fold | changeset | files |
| Tue, 27 Dec 2011 09:15:26 +0100 | haftmann | prefer canonical fold on lists | changeset | files |
| Tue, 27 Dec 2011 09:15:26 +0100 | haftmann | be explicit about Finite_Set.fold | changeset | files |
| Mon, 26 Dec 2011 22:17:10 +0100 | haftmann | incorporated More_Set and More_List into the Main body -- to be consolidated later | changeset | files |
| Mon, 26 Dec 2011 22:17:10 +0100 | haftmann | moved theorem requiring multisets from More_List to Multiset | changeset | files |
| Mon, 26 Dec 2011 22:17:10 +0100 | haftmann | NEWS: unavoidable fact renames | changeset | files |
| Mon, 26 Dec 2011 18:32:43 +0100 | haftmann | dropped disfruitful `constant signatures` | changeset | files |