| Fri, 15 Oct 2021 21:25:47 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 15 Oct 2021 21:10:54 +0200 | wenzelm | proper p' instead of p (amending 52c7c42e7e27); | changeset | files |
| Fri, 15 Oct 2021 20:54:13 +0200 | wenzelm | proper context for Goal.prove_internal; | changeset | files |