| Wed, 10 Jun 2015 22:28:56 +0200 | wenzelm | misc tuning; | changeset | files |
| Wed, 10 Jun 2015 21:49:02 +0200 | wenzelm | unused; | changeset | files |
| Wed, 10 Jun 2015 20:15:58 +0200 | wenzelm | misc tuning; | changeset | files |
| Wed, 10 Jun 2015 19:10:20 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Wed, 10 Jun 2015 19:05:19 +0200 | wenzelm | more user aliases; | changeset | files |
| Wed, 10 Jun 2015 18:57:31 +0200 | wenzelm | merged | changeset | files |
| Wed, 10 Jun 2015 18:48:48 +0200 | wenzelm | prefer direct Assumption.add_assms -- avoid term bindings of Proof_Context.add_assms; | changeset | files |
| Wed, 10 Jun 2015 17:22:35 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 10 Jun 2015 16:09:49 +0200 | wenzelm | clarified local after_qed: result is not exported yet; | changeset | files |
| Wed, 10 Jun 2015 14:46:31 +0200 | wenzelm | support for "if prems" in local goal statements; | changeset | files |
| Wed, 10 Jun 2015 11:52:54 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 10 Jun 2015 11:14:46 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 10 Jun 2015 11:14:04 +0200 | wenzelm | no need for protected goal (see 240ad53041c9); | changeset | files |
| Wed, 10 Jun 2015 10:39:28 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 10 Jun 2015 10:29:32 +0200 | wenzelm | prevent export of future result -- avoid interference with goal fixes; | changeset | files |