| 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 |