Searched refs:mfexprp (Results 1 – 5 of 5) sorted by relevance
56 (defvar mfexprp t) variable
88 (cond ((mget f 'mfexprp)
123 meta-prop-l meta-prop-p mfexprp minpoly* mlocp mm* modulus *mopl*
326 (mget fun 'mfexprp))
258 (if (not (member (car props) '(mlexprp mfexprp t-mfexpr) :test #'eq))