| Sun, 01 Mar 2009 23:36:12 +0100 | wenzelm | use long names for old-style fold combinators; | file | diff | annotate |
| Fri, 27 Feb 2009 16:38:52 +0100 | wenzelm | eliminated NJ's List.nth; | file | diff | annotate |
| Tue, 27 Jan 2009 00:29:37 +0100 | wenzelm | proof_body: turned lazy into future -- ensures that body is fulfilled eventually, without explicit force; | file | diff | annotate |