index
:
open-axiom
master
new-build
open scientific computation system
Igor Pashev
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
testsuite
/
interpreter
/
eval-dep-type.input
blob: 4f4279a4ccaf68c824a848e4c8e0f4cd56c9b904 (
plain
)
1
reify OrderedVariableList [x,y]
