| Sat, 13 Apr 2019 19:23:47 +0100 | paulson | Towards a proof of algebraic closure (NB not finished) | changeset | files |
| Sat, 13 Apr 2019 22:06:40 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 13 Apr 2019 21:51:24 +0200 | wenzelm | prefer ctyp operations; | changeset | files |