| Tue, 06 Oct 2015 18:44:07 +0200 | blanchet | news | changeset | files |
| Tue, 06 Oct 2015 18:39:31 +0200 | blanchet | generate 'case_transfer' unconditionally | changeset | files |
| Tue, 06 Oct 2015 17:47:28 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Tue, 06 Oct 2015 17:46:07 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| 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 |