| Thu, 26 Jun 2025 17:25:29 +0200 | haftmann | append (rather than prepend) code equations: the order within a theory is maintained in the resulting code | file | diff | annotate |
| Tue, 01 Apr 2025 12:10:45 +0200 | haftmann | more on sorting | file | diff | annotate |
| Sun, 30 Mar 2025 20:20:26 +0200 | haftmann | tuned | file | diff | annotate |
| Wed, 07 Nov 2018 11:08:11 +0000 | haftmann | more direct implementations of comparators | file | diff | annotate |
| Sun, 04 Nov 2018 15:00:30 +0000 | haftmann | concrecte sorting algorithms beyond insertion sort | file | diff | annotate |
| Fri, 26 Oct 2018 08:20:45 +0000 | haftmann | dedicated theory for sorting algorithms | file | diff | annotate |
| Thu, 25 Oct 2018 12:42:17 +0000 | haftmann | executable comparators apt for sorting | file | diff | annotate |