| Wed, 15 Feb 2006 21:34:59 +0100 | wenzelm | cannot use section before setup; | file | diff | annotate |
| Sun, 29 Jan 2006 19:23:42 +0100 | wenzelm | implicit setup; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:14 +0100 | wenzelm | setup: theory -> theory; | file | diff | annotate |
| Fri, 28 Oct 2005 22:26:10 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 21 Apr 2005 22:06:18 +0200 | wenzelm | The CPure theory -- Pure with alternative application syntax. | file | diff | annotate |