open-axiom repository from github
-- used to rejected display of constructor abbreviation. )di abb INT
