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

/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DGraphBrowser.java23 GraphView gv; field in class:GraphBrowser
H A DTreeBrowser.java21 GraphView gv; field in class:TreeBrowser
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DGraphBrowser.java23 GraphView gv; field in class:GraphBrowser
H A DTreeBrowser.java21 GraphView gv; field in class:TreeBrowser
[all...]
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DjrhUtils.sml20 val gv = genvar (type_of x) value
89 val gv = genvar (type_of l) value
[all...]
H A DCSimp.sml70 val gv = genvar int_ty value
[all...]
H A DIntDP_Munge.sml171 val gv = genvar int_ty value
193 val gv = genvar int_ty value
392 val gv = genvar numSyntax.num value
421 val gv value
437 val gv = genvar int_ty value
[all...]
/seL4-l4v-10.1.1/HOL4/src/1/
H A DMutual.sml259 let val gv = genvar(type_of v) value
H A DHo_Rewrite.sml234 val gv = genvar(type_of stm) value
H A DConv.sml510 val gv = genvar (type_of arg_t) value
H A DDrule.sml243 val gv = genvar (type_of Bvar) value
[all...]
H A DPrim_rec.sml610 let val gv = genvar(type_of v) value
/seL4-l4v-10.1.1/HOL4/src/pred_set/src/
H A DPGspec.sml48 val gv = genvar ty2 value
H A DPFset_conv.sml97 val gv = genvar bool value
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DFullUnify.sml163 let val gv = genvar (type_of bv1) value
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DnumSimps.sml575 val gv = genvar num value
/seL4-l4v-10.1.1/HOL4/src/refute/
H A DCanon.sml65 val gv = genvar(type_of stm) value
637 val gv = genvar(type_of t) value
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DTerm.sml704 val gv = genvar (type_of redex) value
/seL4-l4v-10.1.1/HOL4/src/meson/src/
H A DmesonLib.sml151 val gv = genvar (type_of hv') value
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DInduction.sml192 val gv = (wfrecUtils.vary FV) value
H A DRW.sml56 let val gv = genvar (type_of v) value
H A DDefn.sml1031 val gv = genvar (sumSyntax.mk_sum(Pdom, tmdom)) value
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DlzConv.sml464 val gv = genvar (type_of arg_t) value
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A Dind_types.sml1026 val gv = genvar(type_of v1) value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml1687 fun gv t = function

Completed in 370 milliseconds