| Tue, 06 Oct 2015 17:44:32 +0200 | wenzelm | merged | changeset | files |
| Tue, 06 Oct 2015 17:31:42 +0200 | wenzelm | avoid hardwired frees; | changeset | files |
| Tue, 06 Oct 2015 16:57:14 +0200 | wenzelm | added Thm.forall_intr_name; | changeset | files |
| 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 |