Searched defs:la (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Ddefinitions.tex[all...]
H A Dlibraries.tex[all...]
/seL4-l4v-master/HOL4/examples/pgcl/src/
H A DwpTools.sml121 val (la,lb) = dest_comb l value
/seL4-l4v-master/HOL4/examples/temporal_deep/src/tools/
H A Dtuerk_tacticsLib.sml102 val (la, lc) = dest_imp lhs; value
114 val (la, lc) = dest_imp lhs; value
/seL4-l4v-master/HOL4/examples/separationLogic/src/
H A DseparationLogicLib.sml719 val (la, cL) = listSyntax.dest_cons c value

Completed in 105 milliseconds