Searched defs:lvs (Results 1 - 3 of 3) sorted by path

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

Completed in 73 milliseconds