Fri, 31 May 1996 19:47:23 +0200 | oheimb | adapted some proofs for new simplifier | changeset | files |
Fri, 31 May 1996 19:34:40 +0200 | oheimb | renamed le_0 to le_0_eq, to avoid confusion with le0, | changeset | files |
Fri, 31 May 1996 19:12:00 +0200 | oheimb | moved mem_simps and the corresponding update of !simpset from Fun.ML to Set.ML, | changeset | files |