# The following subdirectories do not have supporting materials with certifiable books:

acl2-directions
alves-foss-taylor
austel
cowles-gamboa-kuzmina
fisler
greve-richards-wilding
hunt-krug-moore
ray
richards-greve-wilding
toma-borrione
young
