| Sun, 22 Apr 2012 22:01:45 +0200 | wenzelm | updated const "relcomp"; | file | diff | annotate |
| Wed, 28 Mar 2012 17:57:23 +0200 | nipkow | improved robustness with new antiquoation by Makarius | file | diff | annotate |
| Wed, 28 Mar 2012 16:12:10 +0200 | nipkow | updates | file | diff | annotate |
| Wed, 15 Feb 2012 20:24:21 +0100 | wenzelm | updated listrel (cf. 80dccedd6c14); | 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 |
| Wed, 23 Nov 2011 13:46:46 +0100 | wenzelm | updated according to bdcaa3f3a2f4; | file | diff | annotate |
| Sun, 18 Sep 2011 14:55:27 +0200 | wenzelm | updated Complete_Lattices; | file | diff | annotate |