| Thu, 02 Apr 2009 15:08:38 +0200 | wenzelm | updated keywords (with polyml-experimental); | changeset | files |
| Thu, 02 Apr 2009 15:07:00 +0200 | wenzelm | some more HOL-Nominal news; | changeset | files |
| Thu, 02 Apr 2009 14:49:58 +0200 | wenzelm | merged | changeset | files |
| Thu, 02 Apr 2009 14:49:50 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 02 Apr 2009 14:30:16 +0200 | wenzelm | misc tuning for release; | changeset | files |
| 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 |