Thu, 31 May 2001 16:50:16 +0200 | oheimb | added same_fstI as safe intro rule | changeset | files |
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 |