isabelle: File revisions

src/HOLCF/UpperPD.thy

Mon, 19 May 2008 23:49:20 +0200	huffman	use new class package for classes profinite, bifinite; remove approx class	file \| diff \| annotate
Fri, 16 May 2008 23:25:37 +0200	huffman	rename locales;	file \| diff \| annotate
Wed, 07 May 2008 10:57:19 +0200	berghofe	Adapted to encoding of sets as predicates	file \| diff \| annotate
Thu, 27 Mar 2008 00:27:16 +0100	huffman	make preorder locale into a superclass of class po	file \| diff \| annotate
Wed, 26 Mar 2008 22:38:17 +0100	huffman	rename class bifinite_cpo to profinite; generalize powerdomains from bifinite to profinite	file \| diff \| annotate
Wed, 06 Feb 2008 08:34:32 +0100	haftmann	locales ACf, ACIf, ACIfSL and ACIfSLlin have been abandoned in favour of the existing algebraic classes ab_semigroup_mult, ab_semigroup_idem_mult, lower_semilattice (resp. uper_semilattice) and linorder	file \| diff \| annotate
Fri, 18 Jan 2008 20:22:07 +0100	huffman	change lemma admD to rule_format	file \| diff \| annotate
Mon, 14 Jan 2008 19:26:41 +0100	huffman	new theory of powerdomains	file \| diff \| annotate

isabelle