Searched defs:less (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DClause.sml114 fun less x = List.exists (fn y => strictlyLess ordering (x,y)) ys function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DClause.sml114 fun less x = List.exists (fn y => strictlyLess ordering (x,y)) ys function
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/milawa-prover/
H A Dmilawa_logicScript.sml232 val less = ``mApp (mPrimitiveFun logic_LESS)`` value
[all...]

Completed in 72 milliseconds