open-axiom repository from github
++ Cotnributed by Luke Wagner -- Issue: `Built in' domains should be coercible to OutputForm s : List Record(a:INT, b:FLOAT) := []
