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