| Thu, 10 Feb 2005 18:51:54 +0100 | nipkow | HOL.order -> Orderings.order due to restructering | changeset | files |
| Thu, 10 Feb 2005 18:51:12 +0100 | nipkow | Moved oderings from HOL into the new Orderings.thy | changeset | files |
| Thu, 10 Feb 2005 17:09:15 +0100 | berghofe | Added paper by M. Takahashi. | changeset | files |
| Thu, 10 Feb 2005 17:08:45 +0100 | berghofe | Added proof of eta-postponement theorem (using parallel eta-reduction). | changeset | files |