| Fri, 28 Mar 2008 22:39:42 +0100 | wenzelm | NAMED_CRITICAL; | changeset | files |
| Fri, 28 Mar 2008 22:01:56 +0100 | haftmann | unfold_locales now part of default tactic | changeset | files |
| Fri, 28 Mar 2008 22:01:04 +0100 | haftmann | import Main explicitly | changeset | files |
| Fri, 28 Mar 2008 22:01:03 +0100 | haftmann | dropped now superfluous ad-hoc adaption | changeset | files |
| Fri, 28 Mar 2008 22:01:02 +0100 | haftmann | not depends on Main any longer | changeset | files |
| Fri, 28 Mar 2008 22:01:01 +0100 | haftmann | accomodated to sledgehammer theory dependency requirement | changeset | files |
| Fri, 28 Mar 2008 22:00:59 +0100 | haftmann | only invoke interpret | changeset | files |
| Fri, 28 Mar 2008 20:08:11 +0100 | wenzelm | updated generated file; | changeset | files |
| Fri, 28 Mar 2008 20:02:04 +0100 | wenzelm | Context.>> : operate on Context.generic; | changeset | files |
| Fri, 28 Mar 2008 19:43:54 +0100 | wenzelm | avoid rebinding of existing facts; | changeset | files |
| Fri, 28 Mar 2008 19:12:39 +0100 | haftmann | some styling | changeset | files |
| Fri, 28 Mar 2008 18:56:43 +0100 | haftmann | some styling | changeset | files |
| Fri, 28 Mar 2008 18:51:17 +0100 | haftmann | some styling | changeset | files |
| Fri, 28 Mar 2008 11:08:18 +0100 | urbanc | tuned proofs | changeset | files |
| Fri, 28 Mar 2008 00:02:58 +0100 | wenzelm | tuned; | changeset | files |