open-axiom repository from github
++ Contributed by Gabriel Dos Reis -- Issue: the interpreter should allow overload of logical operators. a := 2::OutputForm b := 4::OutputForm a and b
