| Tue, 10 Mar 2020 14:16:19 +0100 | Manuel Eberl | updated NEWS w.r.t. e0237f2eb49d | changeset | files |
| Sun, 08 Mar 2020 17:07:49 +0000 | haftmann | more frugal simp rules for bit operations; more pervasive use of bit selector | changeset | files |
| Mon, 09 Mar 2020 19:35:07 +0100 | wenzelm | more scalable output of YXML files; | changeset | files |
| Mon, 09 Mar 2020 16:58:23 +0100 | wenzelm | proper grounding of free types produced by reconstruct_proof/infer_type, e.g. relevant for Lattices_Big.semilattice_set.infinite; | changeset | files |
| Mon, 09 Mar 2020 16:12:53 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 09 Mar 2020 15:50:24 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 09 Mar 2020 15:38:52 +0100 | wenzelm | more thorough strip_shyps for proof boxes (but types are usually stripped and reconstructed later); | changeset | files |