; To certify all books:

; (ld "script.lsp" :ld-pre-eval-print t)

(certify-book "perm")
(u)
(certify-book "ordered-perms")
(u)
(certify-book "convert-perm-to-how-many")
(u)
(certify-book "equisort")
(u)
(certify-book "isort")
(u)
(certify-book "msort")
(u)
(certify-book "qsort")
(u)
(certify-book "bsort")
(u)
(certify-book "sorts-equivalent")
(u)

(certify-book "equisort2")
(u)
(certify-book "sorts-equivalent2")
(u)

(certify-book "equisort3")
(u)
(certify-book "sorts-equivalent3")
(u)
(certify-book "no-dups-qsort")
(u)