| Tue, 11 Oct 2005 23:23:39 +0200 | huffman | added theorem typedef_compact | file | diff | annotate |
| Mon, 10 Oct 2005 04:00:40 +0200 | huffman | added theorem typedef_chfin | file | diff | annotate |
| Tue, 26 Jul 2005 18:24:29 +0200 | huffman | cleaned up; renamed some theorems | file | diff | annotate |
| Thu, 07 Jul 2005 18:20:08 +0200 | huffman | use theorems ch2ch_cont, cont2contlubE | file | diff | annotate |
| Wed, 06 Jul 2005 00:04:31 +0200 | huffman | renamed from TypedefPcpo.thy; | file | diff | annotate |