Sun, 20 Feb 2000 09:32:06 +0100 | nipkow | Added global let-simplification rule. | changeset | files |
Sat, 19 Feb 2000 13:47:12 +0100 | nipkow | Commenst. | changeset | files |
Fri, 18 Feb 2000 20:27:19 +0100 | oheimb | added instance declaration for finite product | changeset | files |
Fri, 18 Feb 2000 20:25:29 +0100 | oheimb | added split_eta_SetCompr, SetCompr_Sigma_eq | changeset | files |
Fri, 18 Feb 2000 20:24:56 +0100 | oheimb | added Suc_le_D | changeset | files |
Fri, 18 Feb 2000 20:24:40 +0100 | oheimb | added domI, domD | changeset | files |
Fri, 18 Feb 2000 20:24:16 +0100 | oheimb | changed precedence of function update | changeset | files |