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 |