Thu, 08 May 2014 12:54:02 +0200 note map_id0 more often
desharna [Thu, 08 May 2014 12:54:02 +0200] rev 56954
note map_id0 more often
Wed, 14 May 2014 11:33:38 +0200 added lemma
nipkow [Wed, 14 May 2014 11:33:38 +0200] rev 56953
added lemma
Tue, 13 May 2014 22:14:12 +0200 added lemmas
nipkow [Tue, 13 May 2014 22:14:12 +0200] rev 56952
added lemmas
Tue, 13 May 2014 16:18:16 +0200 transfer theorems since 'silence_methods' may change the theory
blanchet [Tue, 13 May 2014 16:18:16 +0200] rev 56951
transfer theorems since 'silence_methods' may change the theory
Tue, 13 May 2014 11:35:51 +0200 add mono rules for diff
hoelzl [Tue, 13 May 2014 11:35:51 +0200] rev 56950
add mono rules for diff
Tue, 13 May 2014 11:35:47 +0200 clean up Lebesgue integration
hoelzl [Tue, 13 May 2014 11:35:47 +0200] rev 56949
clean up Lebesgue integration
Tue, 13 May 2014 11:11:51 +0200 more bnf_decl -> bnf_axiomatization
blanchet [Tue, 13 May 2014 11:11:51 +0200] rev 56948
more bnf_decl -> bnf_axiomatization
Tue, 13 May 2014 11:10:23 +0200 tuned docs
blanchet [Tue, 13 May 2014 11:10:23 +0200] rev 56947
tuned docs
Tue, 13 May 2014 11:10:23 +0200 hide more internal names
blanchet [Tue, 13 May 2014 11:10:23 +0200] rev 56946
hide more internal names
Tue, 13 May 2014 11:10:22 +0200 tuning
blanchet [Tue, 13 May 2014 11:10:22 +0200] rev 56945
tuning
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip