Fri, 01 Dec 2000 11:02:55 +0100 | paulson | renamed less_eq_Suc_add to less_imp_Suc_add | changeset | files |
Thu, 30 Nov 2000 20:18:00 +0100 | wenzelm | tuned; | changeset | files |
Thu, 30 Nov 2000 20:14:25 +0100 | wenzelm | removed "./configure"; | changeset | files |