| Fri, 10 Dec 2004 16:47:15 +0100 | berghofe | Realizer for exE now uses let instead of case. | changeset | files |
| Thu, 09 Dec 2004 18:30:59 +0100 | nipkow | First step in reorganizing Finite_Set | changeset | files |
| Thu, 09 Dec 2004 16:45:46 +0100 | paulson | converted Sum_Type to new-style theory: Inl, Inr are NO LONGER global | changeset | files |