# Note: total-order is deliberately not included in DIRS because its
# certification fails for ACL2 versions after 2.5.
DIRS = finite-set-theory records sorting

include ../../../../Makefile-subdirs
