| Tue, 03 Sep 2013 01:12:40 +0200 | wenzelm | tuned proofs -- clarified flow of facts wrt. calculation; | file | diff | annotate |
| Tue, 20 Aug 2013 11:39:53 +0200 | krauss | renamed theory Mrec to Legacy_Mrec, no longer included by default | file | diff | annotate | base |