Searched defs:positive (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/parse/
H A DLiteral.sml114 fun positive x = function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DLiteral.sig31 val positive : literal -> bool value
H A DLiteral.sml33 fun positive lit = polarity lit; function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DLiteral.sig31 val positive : literal -> bool value
H A DLiteral.sml33 fun positive lit = polarity lit; function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibTerm.sig90 val positive : formula -> bool value
H A DmlibTerm.sml508 val positive = non negative; value
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbdd.sml127 let val positive = List.filter (fn i => i >= 0) varlist value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHolmake_tools.sml92 fun positive m x = optbind (m x) (optassert (fn i => i > 0)) function

Completed in 61 milliseconds