| 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 |
| Mon, 09 Mar 2020 14:30:09 +0100 | wenzelm | clarified; | changeset | files |
| Mon, 09 Mar 2020 14:13:44 +0100 | wenzelm | tuned signature; | changeset | files |