| Fri, 06 Jan 2012 11:15:02 +0100 | haftmann | dropped unused nth_map | file | diff | annotate |
| Fri, 06 Jan 2012 10:19:49 +0100 | haftmann | incorporated canonical fold combinator on lists into body of List theory; refactored passages on List.fold(l/r) | file | diff | annotate |
| Thu, 29 Dec 2011 13:41:41 +0100 | haftmann | qualified Finite_Set.fold | file | diff | annotate |
| Tue, 27 Dec 2011 09:15:26 +0100 | haftmann | dropped fact whose names clash with corresponding facts on canonical fold | file | diff | annotate |
| Mon, 26 Dec 2011 22:17:10 +0100 | haftmann | incorporated More_Set and More_List into the Main body -- to be consolidated later | file | diff | annotate | base |