| Fri, 12 Jul 2013 16:19:05 +0200 | wenzelm | localized and modernized adhoc-overloading (patch by Christian Sternagel); | file | diff | annotate |
| Fri, 06 Jan 2012 20:39:50 +0100 | haftmann | farewell to theory More_List | 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 |