| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Tue, 14 Oct 2014 08:23:23 +0200 | haftmann | purely algebraic characterization of even and odd | file | diff | annotate |
| Thu, 31 Oct 2013 11:44:20 +0100 | haftmann | purely algebraic foundation for even/odd | file | diff | annotate |
| Fri, 15 Feb 2013 11:47:34 +0100 | haftmann | attempt to re-establish conventions which theories are loaded into the grand unified library theory; | file | diff | annotate | base |