| Thu, 02 Apr 2009 14:39:29 +0200 | berghofe | merged | changeset | files |
| Thu, 02 Apr 2009 14:39:10 +0200 | berghofe | Fixed bug in transformation of congruence rule for == | changeset | files |
| Thu, 02 Apr 2009 14:09:41 +0200 | wenzelm | some HOL-Nominal news; | changeset | files |
| Thu, 02 Apr 2009 14:02:45 +0200 | wenzelm | updates for Isabelle2009 release; | changeset | files |
| Thu, 02 Apr 2009 14:02:34 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 02 Apr 2009 13:41:31 +0200 | wenzelm | merged | changeset | files |
| Thu, 02 Apr 2009 13:41:02 +0200 | wenzelm | misc cleanup and rearrangements for Isabelle2009 release; | changeset | files |
| Wed, 01 Apr 2009 22:29:27 +0200 | nipkow | merged | changeset | files |