Thu, 08 Jan 1998 17:42:26 +0100 | oheimb | replaced fn _ => by K | changeset | files |
Thu, 08 Jan 1998 16:52:31 +0100 | wenzelm | *** empty log message *** | changeset | files |
Thu, 08 Jan 1998 11:24:46 +0100 | paulson | New rule: image_subset | changeset | files |