2015-12-14 | wenzelm | tuned; | changeset | files |
2015-12-14 | wenzelm | tuned signature; | changeset | files |
2015-12-14 | wenzelm | tuned message; | changeset | files |
2015-12-13 | wenzelm | merged | changeset | files |
2015-12-13 | wenzelm | more general types Proof.method / context_tactic; | changeset | files |
2015-12-12 | wenzelm | tuned; | changeset | files |
Loading... |