| Tue, 06 Oct 2015 15:39:00 +0200 | wenzelm | added 'proposition' command; | changeset | files |
| Tue, 06 Oct 2015 15:14:28 +0200 | wenzelm | fewer aliases for toplevel theorem statements; | changeset | files |
| 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 |
| Tue, 06 Oct 2015 11:34:07 +0200 | blanchet | tuning | changeset | files |