| Fri, 03 Apr 2009 10:08:47 +0200 | berghofe | Added check whether argument types of inductive set agree with types of declared | changeset | files |
| Fri, 03 Apr 2009 09:27:31 +0200 | nipkow | added setsum_eq_1_iff | changeset | files |
| Thu, 02 Apr 2009 22:03:04 +0200 | wenzelm | simplified website/config; | changeset | files |
| Thu, 02 Apr 2009 16:18:19 +0200 | nipkow | Updated to corrected E output messages | changeset | files |
| 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 |