| Tue, 16 Dec 2008 21:10:53 +0100 | ballarin | More porting to new locales. | file | diff | annotate |
| Tue, 16 Dec 2008 21:31:55 -0800 | huffman | remove cvs Id tags | file | diff | annotate |
| Thu, 16 Oct 2008 19:44:36 +0200 | huffman | rewrite more proofs in Isar style | file | diff | annotate |
| Thu, 16 Oct 2008 17:19:47 +0200 | ballarin | More occurrences of 'includes' gone. | file | diff | annotate |
| Fri, 25 Jul 2008 12:03:32 +0200 | haftmann | dropped locale (open) | file | diff | annotate |
| Mon, 30 Jun 2008 21:52:17 +0200 | huffman | New theory of deflations and embedding-projection pairs | file | diff | annotate |