Wed, 20 Sep 2006 09:08:35 +0200 | krauss | Fixed error in pattern splitting algorithm | file | diff | annotate |
Wed, 13 Sep 2006 12:05:50 +0200 | krauss | Major update to function package, including new syntax and the (only theoretical) | file | diff | annotate |
Sat, 05 Aug 2006 14:55:09 +0200 | wenzelm | avoid low-level tsig; | file | diff | annotate |
Fri, 04 Aug 2006 18:01:45 +0200 | krauss | Added Keywords: "otherwise" and "sequential", needed for function package's | file | diff | annotate |
Wed, 02 Aug 2006 22:26:41 +0200 | wenzelm | normalized Proof.context/method type aliases; | file | diff | annotate |
Mon, 31 Jul 2006 18:07:42 +0200 | krauss | Function package can now do automatic splits of overlapping datatype patterns | file | diff | annotate |