Wed, 08 Jun 2005 00:59:46 +0200 | huffman | added theorems is_ub_range_shift and is_lub_range_shift | changeset | files |
Wed, 08 Jun 2005 00:18:26 +0200 | huffman | added theorems less_sprod, spair_less, spair_eq, spair_inject | changeset | files |
Wed, 08 Jun 2005 00:16:28 +0200 | huffman | renamed theorems less_ssum4a,b,c,d to more meaningful names | changeset | files |