Fri, 20 Apr 2007 10:06:11 +0200 | krauss | definition lookup via terms, not names. Methods "relation" and "lexicographic_order" | file | diff | annotate |
Tue, 10 Apr 2007 08:09:28 +0200 | krauss | removed obsolete workaround | file | diff | annotate |
Thu, 22 Mar 2007 13:36:55 +0100 | krauss | cleanup | file | diff | annotate |
Fri, 16 Mar 2007 21:32:19 +0100 | haftmann | adjusted qualified thm reference | file | diff | annotate |
Tue, 06 Mar 2007 15:49:25 +0100 | krauss | fixed function package bug in the handling of multiple guards | file | diff | annotate |
Thu, 15 Feb 2007 17:35:19 +0100 | krauss | changed termination goal to use object quantifier | file | diff | annotate |
Wed, 07 Feb 2007 18:03:18 +0100 | berghofe | Adapted to changes in Accessible_Part and Wellfounded_Recursion theories. | file | diff | annotate |
Mon, 22 Jan 2007 17:29:43 +0100 | krauss | * Preliminary implementation of tail recursion | file | diff | annotate |