let user_axiomdefs = Hashtbl.create 131