| Sun, 29 Jan 2006 19:23:43 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:15 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 13 Jan 2006 01:12:59 +0100 | wenzelm | implicit setup, which admits exception_trace; | file | diff | annotate |
| Thu, 22 Dec 2005 00:28:52 +0100 | wenzelm | added locale meta_conjunction_syntax and various conjunction rules; | file | diff | annotate |
| Fri, 28 Oct 2005 22:26:10 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 23 Apr 2005 19:49:39 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Thu, 21 Apr 2005 22:06:00 +0200 | wenzelm | The Pure theory. | file | diff | annotate |