1 2 3
usr/lib/open-axiom/algebra/*.daase usr/lib/open-axiom/algebra/*.text usr/lib/open-axiom/algebra/*.DAASE