| Fri, 20 Feb 2009 14:49:23 +0100 | haftmann | consider changes variable names in theorem le_imp_power_dvd | changeset | files |
| Fri, 20 Feb 2009 10:14:32 +0100 | haftmann | tuned and incremental version of wellsorting algorithm | changeset | files |
| Fri, 20 Feb 2009 10:14:32 +0100 | haftmann | ignore sorts in bare types | changeset | files |
| Fri, 20 Feb 2009 10:14:32 +0100 | haftmann | defensive implementation of pretty serialisation of lists and characters | changeset | files |
| Fri, 20 Feb 2009 10:14:31 +0100 | haftmann | dropped Id | changeset | files |
| Fri, 20 Feb 2009 10:14:31 +0100 | haftmann | experimental inclusion of new wellsorting algorithm for code equations | changeset | files |
| Fri, 20 Feb 2009 13:14:57 +0000 | chaieb | merged | changeset | files |