| Tue, 13 May 2014 22:14:12 +0200 | nipkow | added lemmas | changeset | files |
| Tue, 13 May 2014 16:18:16 +0200 | blanchet | transfer theorems since 'silence_methods' may change the theory | changeset | files |
| Tue, 13 May 2014 11:35:51 +0200 | hoelzl | add mono rules for diff | changeset | files |
| Tue, 13 May 2014 11:35:47 +0200 | hoelzl | clean up Lebesgue integration | changeset | files |
| Tue, 13 May 2014 11:11:51 +0200 | blanchet | more bnf_decl -> bnf_axiomatization | changeset | files |
| Tue, 13 May 2014 11:10:23 +0200 | blanchet | tuned docs | changeset | files |
| Tue, 13 May 2014 11:10:23 +0200 | blanchet | hide more internal names | changeset | files |