| Fri, 11 Oct 2019 15:36:32 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 11 Oct 2019 11:16:36 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 10 Oct 2019 16:51:47 +0200 | wenzelm | more compact XML representation; | changeset | files |
| Thu, 10 Oct 2019 15:52:30 +0200 | wenzelm | proper generalize_proof: schematic variables need to be explicit in the resulting proof term (for shrink/reconstruct operation); | changeset | files |
| Thu, 10 Oct 2019 15:18:40 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 10 Oct 2019 15:10:07 +0200 | wenzelm | tuned -- more direct ML expressions; | changeset | files |
| Thu, 10 Oct 2019 15:00:36 +0200 | wenzelm | clarified modules; | changeset | files |