Thu, 25 May 2000 15:14:20 +0200 | paulson | better indentation; declared function "null" | changeset | files |
Thu, 25 May 2000 15:13:57 +0200 | paulson | new default rules | changeset | files |
Thu, 25 May 2000 15:12:40 +0200 | paulson | deleted sum_below: no need for it with setsum and lessThan | changeset | files |