| Tue, 06 Oct 2015 13:31:44 +0200 | wenzelm | just one theorem kind, which is legacy anyway; | changeset | files |
| Tue, 06 Oct 2015 11:29:00 +0200 | wenzelm | pretty_const: proper local name space; | changeset | files |
| Tue, 06 Oct 2015 12:01:07 +0200 | traytel | collect the names from goals in favor of fragile exports | changeset | files |
| Tue, 06 Oct 2015 11:50:23 +0200 | blanchet | compile | changeset | files |