| Wed, 25 Oct 2017 11:35:48 +0200 | wenzelm | uniform system name; | changeset | files |
| Tue, 24 Oct 2017 21:20:55 +0200 | wenzelm | store session sources stamp; | changeset | files |
| 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 | changeset | files |