Mon, 24 May 1999 21:53:18 +0200 | wenzelm | outer syntax keyword classification; | changeset | files |
Mon, 24 May 1999 15:56:24 +0200 | paulson | renamed Lprg to Lift; simplified proof of Always_nonneg | changeset | files |
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 |