R/library/operator.tools/DESCRIPTION
R/library/operator.tools/INDEX
R/library/operator.tools/LICENSE
R/library/operator.tools/MD5
R/library/operator.tools/Meta/Rd.rds
R/library/operator.tools/Meta/features.rds
R/library/operator.tools/Meta/hsearch.rds
R/library/operator.tools/Meta/links.rds
R/library/operator.tools/Meta/nsInfo.rds
R/library/operator.tools/Meta/package.rds
R/library/operator.tools/NAMESPACE
R/library/operator.tools/NEWS.md
R/library/operator.tools/R/operator.tools
R/library/operator.tools/R/operator.tools.rdb
R/library/operator.tools/R/operator.tools.rdx
R/library/operator.tools/help/AnIndex
R/library/operator.tools/help/aliases.rds
R/library/operator.tools/help/operator.tools.rdb
R/library/operator.tools/help/operator.tools.rdx
R/library/operator.tools/help/paths.rds
R/library/operator.tools/html/00Index.html
R/library/operator.tools/html/R.css
R/library/operator.tools/html/can.operator.html
R/library/operator.tools/html/fun2name.html
R/library/operator.tools/html/initOps.html
R/library/operator.tools/html/inverse.html
R/library/operator.tools/html/is.operator.html
R/library/operator.tools/html/not-in.html
R/library/operator.tools/html/operator.type.html
R/library/operator.tools/html/operators.html
R/library/operator.tools/html/rel.type.html
R/library/operator.tools/html/removeOperator.html
R/library/operator.tools/html/setOperator.html
