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 |