| Sun, 13 May 2018 14:32:48 +0200 | nipkow | tuned | file | diff | annotate |
| Sun, 13 May 2018 13:43:34 +0200 | nipkow | mv lemma | file | diff | annotate |
| Sun, 13 May 2018 13:15:50 +0200 | nipkow | removed unused lemma | file | diff | annotate |
| Sun, 13 May 2018 13:07:09 +0200 | nipkow | tuned | file | diff | annotate |
| Thu, 10 May 2018 01:33:47 +0200 | nipkow | simpler types | file | diff | annotate |
| Fri, 04 May 2018 18:41:11 +0200 | nipkow | tuned | file | diff | annotate |
| 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 |
| Tue, 29 Aug 2017 12:05:00 +0200 | nipkow | new file | file | diff | annotate |