| Thu, 06 Oct 2016 11:38:05 +0200 | nipkow | moved lemmas | file | diff | annotate |
| Wed, 05 Oct 2016 20:01:05 +0200 | nipkow | replaced floorlog by floor/ceiling(log .) | file | diff | annotate |
| Tue, 13 Sep 2016 11:31:30 +0200 | nipkow | reorganization, more funs and lemmas | file | diff | annotate |
| Sun, 11 Sep 2016 18:12:05 +0200 | nipkow | more simp rules | file | diff | annotate |
| Fri, 09 Sep 2016 14:15:16 +0200 | nipkow | More on balancing; renamed theory to Balance | file | diff | annotate | base |