src/HOLCF/CompactBasis.thy
Tue, 01 Jul 2008 01:09:03 +0200 huffman rename compact_approx to compact_take
Tue, 01 Jul 2008 00:58:19 +0200 huffman rename approx_pd to pd_take
Tue, 01 Jul 2008 00:52:46 +0200 huffman split Completion.thy from CompactBasis.thy
Thu, 26 Jun 2008 17:54:05 +0200 huffman remove cset theory; define ideal completions using typedef instead of cpodef
Fri, 20 Jun 2008 22:51:50 +0200 huffman clean up and rename some profinite lemmas
Fri, 20 Jun 2008 20:03:13 +0200 huffman removed SetPcpo.thy and cpo instance for type bool;
Thu, 19 Jun 2008 22:50:58 +0200 huffman move lemmas into locales;
Thu, 19 Jun 2008 22:43:59 +0200 huffman add lemmas take_chain_less and take_chain_le
Wed, 18 Jun 2008 23:07:30 +0200 huffman replace preorder class with locale
Wed, 18 Jun 2008 23:03:11 +0200 huffman add lemma compact_imp_principal to locale ideal_completion
Fri, 16 May 2008 23:25:37 +0200 huffman rename locales;
Wed, 07 May 2008 10:57:19 +0200 berghofe Adapted to encoding of sets as predicates
Thu, 27 Mar 2008 21:49:10 +0100 huffman remove commented text
Thu, 27 Mar 2008 00:27:16 +0100 huffman make preorder locale into a superclass of class po
Wed, 26 Mar 2008 22:38:17 +0100 huffman rename class bifinite_cpo to profinite; generalize powerdomains from bifinite to profinite
less more (0) -15 tip