| Fri, 07 Apr 2006 03:20:34 +0200 | kleing | renamed ASeries to Arithmetic_Series, removed the ^M | changeset | files |
| Thu, 06 Apr 2006 17:29:40 +0200 | urbanc | modified the perm_compose rule such that it | changeset | files |
| Thu, 06 Apr 2006 16:13:17 +0200 | haftmann | cleanup in typedef/datatype package | changeset | files |