| Mon, 09 Nov 2009 15:29:58 -0800 |
huffman |
add in_deflation relation, more lemmas about cast
|
file |
diff |
annotate
|
| Fri, 15 May 2009 15:12:23 -0700 |
huffman |
continuity proofs for approx function on deflations; lemma cast_below_imp_below
|
file |
diff |
annotate
|
| Fri, 08 May 2009 16:19:51 -0700 |
huffman |
rename constant sq_le to below; rename class sq_ord to below; less->below in many lemma names
|
file |
diff |
annotate
|
| Thu, 26 Mar 2009 20:08:55 +0100 |
wenzelm |
interpretation/interpret: prefixes are mandatory by default;
|
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
|
| Thu, 16 Oct 2008 17:19:47 +0200 |
ballarin |
More occurrences of 'includes' gone.
|
file |
diff |
annotate
|
| Tue, 01 Jul 2008 06:56:37 +0200 |
huffman |
range_composition no longer in simp set
|
file |
diff |
annotate
|
| Tue, 01 Jul 2008 01:25:40 +0200 |
huffman |
theory of algebraic deflations
|
file |
diff |
annotate
|