| Fri, 04 May 2018 15:59:21 +0200 | nipkow | tuned | file | diff | annotate |
| Sun, 15 Apr 2018 17:48:07 +0200 | nipkow | added bottom-up merge sort | file | diff | annotate |
| Tue, 24 Oct 2017 18:48:21 +0200 | immler | generalized lemmas cancelling real_of_int/real in (in)equalities with power; completed set of related simp rules; lemmas about floorlog/bitlen | file | diff | annotate |