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
Tue, 13 May 2014 10:15:50 +0200 no reset for 'end' -- e.g. relevant for 'notepad';
wenzelm [Tue, 13 May 2014 10:15:50 +0200] rev 56944
no reset for 'end' -- e.g. relevant for 'notepad';
Tue, 13 May 2014 09:21:22 +0200 updated keywords
traytel [Tue, 13 May 2014 09:21:22 +0200] rev 56943
updated keywords
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip