| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Readme.lsp | 2995 | logplain |
| -rw-r--r-- | bsort.lisp | 1828 | logplain |
| -rw-r--r-- | convert-perm-to-how-many.lisp | 2931 | logplain |
| -rw-r--r-- | equisort.lisp | 3669 | logplain |
| -rw-r--r-- | equisort2.lisp | 2302 | logplain |
| -rw-r--r-- | equisort3.lisp | 459 | logplain |
| -rw-r--r-- | isort.lisp | 679 | logplain |
| -rw-r--r-- | msort.lisp | 1418 | logplain |
| -rw-r--r-- | no-dups-qsort.lisp | 2562 | logplain |
| -rw-r--r-- | ordered-perms.lisp | 1705 | logplain |
| -rw-r--r-- | perm.lisp | 1362 | logplain |
| -rw-r--r-- | qsort.lisp | 3052 | logplain |
| -rw-r--r-- | script.lsp | 527 | logplain |
| -rw-r--r-- | sorts-equivalent.lisp | 1076 | logplain |
| -rw-r--r-- | sorts-equivalent2.lisp | 1155 | logplain |
| -rw-r--r-- | sorts-equivalent3.lisp | 719 | logplain |
 |
index : acl2 | |
| Debian dgit repo for package acl2 |
| summaryrefslogtreecommitdiff |