| 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 |