Thu, 16 Feb 2006 21:12:00 +0100 | wenzelm | new-style definitions/abbreviations; | file | diff | annotate |
Sat, 21 Jan 2006 23:02:21 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
Tue, 13 Dec 2005 19:32:36 +0100 | wenzelm | Potentially infinite lists as greatest fixed-point. | file | diff | annotate |