Thu, 31 May 2001 16:50:15 +0200 | oheimb | added injective_fst_snd | changeset | files |
Thu, 31 May 2001 16:50:14 +0200 | oheimb | added nat_not_singleton (also to simpset) | changeset | files |
Thu, 31 May 2001 16:50:13 +0200 | oheimb | added Least_Suc2 | changeset | files |