| Wed, 11 Feb 2009 19:31:20 +0100 | krauss | Export tactic interface for sizechange method | file | diff | annotate |
| Sat, 27 Dec 2008 17:49:15 +0100 | krauss | removed duplicate sum_case used only by function package; | file | diff | annotate |
| Tue, 16 Dec 2008 08:46:07 +0100 | krauss | method "sizechange" proves termination of functions; added more infrastructure for termination proofs | file | diff | annotate |