Searched defs:lvs (Results 1 - 3 of 3) sorted by last modified time

/seL4-l4v-master/HOL4/src/tfl/src/
H A DDefn.sml811 let val (lvs,tm) = strip_forall nih value
/seL4-l4v-master/HOL4/src/n-bit/
H A DblastLib.sml113 val lvs = listSyntax.mk_length vs value
/seL4-l4v-master/HOL4/src/integer/
H A DOmegaSymbolic.sml583 val (lvs, body) = strip_exists tm value

Completed in 57 milliseconds