Mon, 24 May 1999 15:54:58 +0200 | paulson | int_Suc->int_Suc_int_1 avoiding confusion with the more useful Bin.int_Suc | changeset | files |
Mon, 24 May 1999 15:54:12 +0200 | paulson | Better simplification of (nat #0), (int (Suc 0)), etc | changeset | files |
Mon, 24 May 1999 15:53:28 +0200 | paulson | UN_singleton->UN_constant_eq removes clash with other UN_singleton | changeset | files |
Mon, 24 May 1999 15:51:33 +0200 | paulson | new rule single_leadsTo_I; stronger PSP rule | changeset | files |
Mon, 24 May 1999 15:50:53 +0200 | paulson | increasing makes sense only for partial orderings | changeset | files |
Mon, 24 May 1999 15:50:23 +0200 | paulson | generalized increasing_size to mono_increasing_o | changeset | files |