| Wed, 25 Oct 2017 13:47:53 +0200 | wenzelm | more documentation; | changeset | files |
| Wed, 25 Oct 2017 11:40:58 +0200 | wenzelm | disallow blanks, relevant for session_name / theory_name e.g. in build log files; | changeset | files |
| 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 |
| Tue, 24 Oct 2017 10:59:15 +0200 | wenzelm | misc tuning and modernization; | changeset | files |