| 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 |
| Thu, 10 May 2007 10:21:48 +0200 | haftmann | explicit import of Datatype.thy due to hook bootstrap problem | file | diff | annotate |