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