| Wed, 22 Feb 2006 22:18:32 +0100 | wenzelm | simplified Pure conjunction; | file | diff | annotate |
| Wed, 15 Feb 2006 21:34:59 +0100 | wenzelm | cannot use section before setup; | file | diff | annotate |
| 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 |