desharna [Wed, 14 May 2014 11:37:48 +0200] rev 58299
document 'set_empty'
desharna [Mon, 12 May 2014 17:42:54 +0200] rev 58298
generate 'set_empty' theorem for BNFs
desharna [Thu, 08 May 2014 12:54:33 +0200] rev 58297
document 'map_id0'
desharna [Thu, 08 May 2014 12:54:02 +0200] rev 58296
note map_id0 more often
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