| Sun, 28 Aug 2005 09:02:42 +0200 | haftmann | added alist module | changeset | files |
| Fri, 26 Aug 2005 19:47:23 +0200 | berghofe | Fixed bug. | changeset | files |
| Fri, 26 Aug 2005 19:36:07 +0200 | quigley | DFG output now works for untyped rules (ML "ResClause.untyped();") | changeset | files |
| Fri, 26 Aug 2005 10:01:06 +0200 | ballarin | Lemmas on dvd, power and finite summation added or strengthened. | changeset | files |
| Fri, 26 Aug 2005 08:42:52 +0200 | haftmann | replaced '?' by '??' | changeset | files |
| Thu, 25 Aug 2005 17:51:11 +0200 | berghofe | Adapted to new code generator syntax. | changeset | files |
| Thu, 25 Aug 2005 16:17:40 +0200 | berghofe | Put quotation marks around some occurrences of "file", since it is now | changeset | files |
| Thu, 25 Aug 2005 16:13:09 +0200 | berghofe | Adapted to new code generator syntax. | changeset | files |