| Thu, 13 May 2010 18:47:07 +0200 | wenzelm | raise Fail uniformly for proofterm errors, which appear to be rather low-level; | changeset | files |
| Thu, 13 May 2010 18:22:10 +0200 | wenzelm | unconstrainT operations on proofs, according to krauss/schropp; | changeset | files |
| Thu, 13 May 2010 17:25:53 +0200 | wenzelm | added Proofterm.get_name variants according to krauss/schropp; | changeset | files |
| Wed, 12 May 2010 22:43:05 +0200 | wenzelm | conditional structure SingleAssignment; | changeset | files |
| Wed, 12 May 2010 17:10:53 +0200 | wenzelm | merged | changeset | files |
| Wed, 12 May 2010 15:31:43 +0200 | haftmann | merged | changeset | files |
| Wed, 12 May 2010 15:27:15 +0200 | haftmann | tuned proofs and fact and class names | changeset | files |
| Wed, 12 May 2010 13:51:22 +0200 | haftmann | tuned fact collection names and some proofs | changeset | files |
| Wed, 12 May 2010 12:31:52 +0200 | haftmann | grouped local statements | changeset | files |
| Wed, 12 May 2010 12:31:51 +0200 | haftmann | tuned test problems | changeset | files |
| Wed, 12 May 2010 16:45:59 +0200 | wenzelm | merged | changeset | files |
| Wed, 12 May 2010 15:25:23 +0200 | nipkow | merged | changeset | files |
| Wed, 12 May 2010 15:25:02 +0200 | nipkow | simplified proof | changeset | files |
| Wed, 12 May 2010 16:44:49 +0200 | wenzelm | modernized specifications; | changeset | files |
| Wed, 12 May 2010 15:25:58 +0200 | wenzelm | updated/unified some legacy warnings; | changeset | files |
| Wed, 12 May 2010 15:23:38 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 12 May 2010 14:52:23 +0200 | wenzelm | do not emit legacy_feature warnings here -- users have no chance to disable them; | changeset | files |
| Wed, 12 May 2010 14:17:26 +0200 | wenzelm | removed obsolete CVS Ids; | changeset | files |
| Wed, 12 May 2010 14:02:50 +0200 | wenzelm | removed some obsolete admin stuff; | changeset | files |
| Wed, 12 May 2010 14:02:19 +0200 | wenzelm | check NEWS; | changeset | files |
| Wed, 12 May 2010 13:54:49 +0200 | wenzelm | removed obsolete CVS Ids; | changeset | files |
| Wed, 12 May 2010 13:52:34 +0200 | wenzelm | updated some version numbers; | changeset | files |
| Wed, 12 May 2010 13:34:24 +0200 | wenzelm | minor tuning; | changeset | files |
| Wed, 12 May 2010 13:21:23 +0200 | wenzelm | reverted parts of 7902dc7ea11d -- note that NEWS of published Isabelle releases are essentially read-only; | changeset | files |
| Wed, 12 May 2010 12:51:32 +0200 | wenzelm | merged | changeset | files |
| Wed, 12 May 2010 12:20:16 +0200 | haftmann | merged | changeset | files |
| Wed, 12 May 2010 12:09:28 +0200 | haftmann | modernized specifications; tuned reification | changeset | files |
| Wed, 12 May 2010 11:18:42 +0200 | haftmann | merged | changeset | files |
| Wed, 12 May 2010 11:17:59 +0200 | haftmann | added lemmas concerning last, butlast, insort | changeset | files |
| Wed, 12 May 2010 11:30:18 +0200 | Cezary Kaliszyk | Remove RANGE_WARN | changeset | files |
| Wed, 12 May 2010 11:13:33 +0200 | hoelzl | clarified NEWS entry | changeset | files |
| Wed, 12 May 2010 11:08:15 +0200 | hoelzl | merged | changeset | files |