| Tue, 01 Jul 2008 01:09:03 +0200 | huffman | rename compact_approx to compact_take | file | diff | annotate |
| Tue, 01 Jul 2008 00:58:19 +0200 | huffman | rename approx_pd to pd_take | file | diff | annotate |
| Tue, 01 Jul 2008 00:52:46 +0200 | huffman | split Completion.thy from CompactBasis.thy | file | diff | annotate |
| Thu, 26 Jun 2008 17:54:05 +0200 | huffman | remove cset theory; define ideal completions using typedef instead of cpodef | file | diff | annotate |
| Fri, 20 Jun 2008 22:51:50 +0200 | huffman | clean up and rename some profinite lemmas | file | diff | annotate |
| Fri, 20 Jun 2008 20:03:13 +0200 | huffman | removed SetPcpo.thy and cpo instance for type bool; | file | diff | annotate |
| Thu, 19 Jun 2008 22:50:58 +0200 | huffman | move lemmas into locales; | file | diff | annotate |