Home
last modified time | relevance | path

Searched +defs:SUBSTITUTE +defs:IF +defs:NOT (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dkinds.h66 NOT, enumerator
135 SUBSTITUTE, enumerator
212 IF, enumerator
/dports/lang/abcl/abcl-src-1.8.0/src/org/armedbear/lisp/
H A DSymbol.java1840 public static final Symbol IF = field in Symbol
2187 public static final Symbol NOT = field in Symbol
2723 public static final Symbol SUBSTITUTE = field in Symbol