nipkow [Wed, 14 May 2014 11:33:38 +0200] rev 58295
added lemma
nipkow [Tue, 13 May 2014 22:14:12 +0200] rev 58294
added lemmas
blanchet [Tue, 13 May 2014 16:18:16 +0200] rev 58293
transfer theorems since 'silence_methods' may change the theory
hoelzl [Tue, 13 May 2014 11:35:51 +0200] rev 58292
add mono rules for diff
hoelzl [Tue, 13 May 2014 11:35:47 +0200] rev 58291
clean up Lebesgue integration
blanchet [Tue, 13 May 2014 11:11:51 +0200] rev 58290
more bnf_decl -> bnf_axiomatization
blanchet [Tue, 13 May 2014 11:10:23 +0200] rev 58289
tuned docs
blanchet [Tue, 13 May 2014 11:10:23 +0200] rev 58288
hide more internal names
blanchet [Tue, 13 May 2014 11:10:22 +0200] rev 58287
tuning
wenzelm [Tue, 13 May 2014 10:15:50 +0200] rev 58286
no reset for 'end' -- e.g. relevant for 'notepad';