| Sun, 07 Oct 2012 15:05:11 +0200 | wenzelm | explicit close button; | changeset | files |
| Sat, 06 Oct 2012 16:03:41 +0200 | haftmann | congruence rule for Finite_Set.fold | changeset | files |
| Sat, 06 Oct 2012 11:08:52 +0200 | haftmann | alternative simplification of ^^ to the righthand side; | changeset | files |