Thu, 31 May 2001 16:52:35 +0200 | oheimb | corrected ML names of definitions, added chain_shift | changeset | files |
Thu, 31 May 2001 16:52:32 +0200 | oheimb | corrected ML names of definitions | changeset | files |
Thu, 31 May 2001 16:52:20 +0200 | oheimb | improved iff_add_global, new function add_rules factoring out common behaviour | changeset | files |
Thu, 31 May 2001 16:52:02 +0200 | oheimb | streamlined addIffs/delIffs, added warnings | changeset | files |
Thu, 31 May 2001 16:51:26 +0200 | oheimb | replaced Sel_injective_cprod by new injective_fst_snd | changeset | files |
Thu, 31 May 2001 16:51:14 +0200 | oheimb | added lub_range_mono and lub_range_shift | changeset | files |