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 |
Thu, 31 May 2001 16:50:04 +0200 | oheimb | added list_all2_trans | changeset | files |