| Thu, 22 Jan 2009 09:04:46 +0100 |
haftmann |
simplified handling of base sort, dropped axclass
|
file |
diff |
annotate
|
| Tue, 30 Dec 2008 11:10:01 +0100 |
ballarin |
Merged.
|
file |
diff |
annotate
|
| Tue, 16 Dec 2008 21:10:53 +0100 |
ballarin |
More porting to new locales.
|
file |
diff |
annotate
|
| Tue, 16 Dec 2008 21:31:55 -0800 |
huffman |
remove cvs Id tags
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 12:25:26 +0200 |
ballarin |
Do not rely on locale assumption in interpretation.
|
file |
diff |
annotate
|
| Mon, 30 Jun 2008 22:16:47 +0200 |
huffman |
reuse proofs from Deflation.thy; clean up proof of finite_range_cfun_lemma
|
file |
diff |
annotate
|
| Fri, 20 Jun 2008 23:01:09 +0200 |
huffman |
simplify profinite class axioms
|
file |
diff |
annotate
|
| Fri, 20 Jun 2008 22:51:50 +0200 |
huffman |
clean up and rename some profinite lemmas
|
file |
diff |
annotate
|
| Thu, 12 Jun 2008 22:41:03 +0200 |
huffman |
add lemma finite_image_approx; remove unnecessary sort annotations
|
file |
diff |
annotate
|
| Mon, 19 May 2008 23:49:20 +0200 |
huffman |
use new class package for classes profinite, bifinite; remove approx class
|
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
|
| Thu, 17 Jan 2008 21:56:33 +0100 |
huffman |
convert lemma lub_mono to rule_format
|
file |
diff |
annotate
|
| Thu, 17 Jan 2008 21:44:19 +0100 |
huffman |
rename lemma chain_mono3 -> chain_mono, chain_mono -> chain_mono_less
|
file |
diff |
annotate
|
| Mon, 14 Jan 2008 21:15:20 +0100 |
huffman |
add class bifinite_cpo for possibly-unpointed bifinite domains
|
file |
diff |
annotate
|
| Mon, 14 Jan 2008 19:26:01 +0100 |
huffman |
new theory of bifinite domains
|
file |
diff |
annotate
|