| Thu, 14 Jun 2007 18:33:31 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Mon, 07 May 2007 00:49:59 +0200 | wenzelm | simplified DataFun interfaces; | file | diff | annotate |
| Sat, 10 Mar 2007 16:23:28 +0100 | berghofe | Generalized version of SUP and INF (with index set). | file | diff | annotate |