| Mon, 25 Jun 2007 12:16:27 +0200 | krauss | removed "sum_tools.ML" in favour of BalancedTree | file | diff | annotate |
| Sat, 02 Jun 2007 15:28:38 +0200 | krauss | "function (sequential)" and "fun" now handle incomplete patterns silently by adding "undefined" cases. | file | diff | annotate |