Searched defs:v2 (Results 1 - 25 of 43) sorted by relevance

12

/seL4-l4v-master/HOL4/examples/acl2/ml/
H A Dkpa-v2-9-3.ml
/seL4-l4v-master/HOL4/src/1/theory_tests/
H A Dgithub115aScript.sml6 val v2 = mk_var("v", bool) value
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Ddupthms.c17 struct s v1, v2; member in struct:t
/seL4-l4v-master/HOL4/src/TeX/
H A Dselftest.sml11 val v2 = mk_var("v2",bool) value
/seL4-l4v-master/HOL4/src/metis/
H A Dselftest.sml9 val v2 = genvar bool value
H A DmlibArbnum.sml253 val v2 = hd (tl norm_v_rev) value
/seL4-l4v-master/HOL4/examples/AI_tasks/
H A DmleCombinProve.sml23 val v2 = mk_var ("V2",alpha) value
H A DmleCombinLib.sml28 val v2 = mk_var ("V2",alpha) value
/seL4-l4v-master/HOL4/src/integer/
H A DjrhUtils.sml125 val (v2,b2) = dest_abs r value
H A DCooperShell.sml520 val v2 = hd (tl vset) value
/seL4-l4v-master/HOL4/src/parse/
H A Dterm_pp_utils.sml115 val (v2, body) = recurse body0 value
/seL4-l4v-master/HOL4/src/HolSat/
H A Ddef_cnf.sml116 val v2 = propvar cnfv n2 value
/seL4-l4v-master/HOL4/src/monad/
H A Dparmonadsyntax.sml71 val (v2,a2) = clean_action arg2 value
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dutils.sml320 and (v2,news2) = getvalue s2 value
348 and (v2,news2) = getvalue s2 value
/seL4-l4v-master/HOL4/src/bag/
H A DbagSimps.sml62 val v1 = genvar bag_type and v2 = genvar bag_type value
/seL4-l4v-master/HOL4/examples/CCS/
H A DCCSLib.sml109 val v2 = fst (dest_forall body); value
/seL4-l4v-master/HOL4/examples/formal-languages/regular/
H A DregexpSyntax.sml220 val v2 = inf (dest_word_literal v2tm) value
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dfdd.c207 int fdd_overlapdomain(int v1, int v2) argument
H A Dreorder.c1522 int bdd_swapvar(int v1, int v2) argument
[all...]
/seL4-l4v-master/HOL4/src/num/
H A DnumLib.sml134 and v2 = genvar Type.bool value
/seL4-l4v-master/HOL4/src/portableML/mosml/
H A DArbnumcore.sml291 val v2 = hd (tl norm_v_rev) value
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Darm_disassemblerLib.sml801 val v2 = opt (is_var cond orelse is_PC cond) "2" value
/seL4-l4v-master/HOL4/examples/lambda/other-models/
H A DncScript.sml445 and v2 = genvar (Type`:'a nc -> 'b`) value
/seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/
H A Dholfoot_pp_print.sml573 val v2 = mk_var (arg2, numSyntax.num); value
/seL4-l4v-master/HOL4/examples/separationLogic/src/
H A Dvars_as_resourceBaseFunctor.sml555 val v2 = dest_var_res_exp_var r; value

Completed in 257 milliseconds

12