Searched defs:literal (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-master/HOL4/src/HolQbf/
H A DQbfConv.sml19 fun literal x t = t ~~ x orelse dest_neg t ~~ x handle HOL_ERR _ => false function
H A DQbfCertificate.sml29 type literal = int (* a possibly negated variable index, must be <> 0 *) type
[all...]
/seL4-l4v-master/HOL4/src/prekernel/
H A DCoding.sig6 val literal : string -> string reader value
H A DCoding.sml26 fun literal s (si as (s0,i)) = function
/seL4-l4v-master/HOL4/src/metis/
H A DmlibTptp.sml215 fun literal pr (Not (Atom a)) = (pr "--"; term pr a) function
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DLiteral.sig15 type literal = polarity * Atom.atom type
[all...]
H A DTptp.sig76 datatype literal = type
H A DLiteral.sml17 type literal = polarity * Atom.atom; type
[all...]
H A DTptp.sml566 datatype literal = type
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DLiteral.sig15 type literal = polarity * Atom.atom type
[all...]
H A DTptp.sig76 datatype literal = type
H A DLiteral.sml17 type literal = polarity * Atom.atom; type
[all...]
H A DTptp.sml566 datatype literal = type
/seL4-l4v-master/HOL4/examples/miller/ho_prover/
H A Dho_proverTools.sml74 type literal = bool * term; type
[all...]

Completed in 86 milliseconds