Thu, 31 May 2001 16:51:14 +0200 | oheimb | added lub_range_mono and lub_range_shift | changeset | files |
Thu, 31 May 2001 16:50:17 +0200 | oheimb | added chain_monofun | changeset | files |
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 |
Thu, 31 May 2001 16:50:13 +0200 | oheimb | added Least_Suc2 | changeset | files |