Searched defs:gt (Results 1 - 16 of 16) sorted by relevance
/seL4-l4v-master/HOL4/src/1/ |
H A D | MakeBigTerm.sml | 30 val gt = gen_term0 gen bvars value
|
/seL4-l4v-master/HOL4/tools/mlyacc/src/ |
H A D | core.sml | 46 val gt = gtItem value
|
H A D | grammar.sml | 71 val gt = gtSymbol) value 74 val gt = gtNonterm) value
|
H A D | look.sml | 28 val gt = gtTerm value 45 val gt = gtNonterm value
|
H A D | coreutils.sml | 33 val gt = gtNonterm value
|
H A D | graph.sml | 39 val gt = gtCore value
|
H A D | shrink.sml | 28 val gt : entry * entry -> bool value 38 val gt : entry * entry -> bool value 129 val gt = fn ((a,_),(b,_)) => A.gt(a,b) value 132 val gt = gt) value 203 val gt = fn ((l,a),(l',a')) => gtAction(a,a') value [all...] |
H A D | utils.sml | 56 val gt : elem * elem -> bool value 200 val gt : (elem*elem) -> bool value 421 val gt : (key * key) -> bool value 537 val gt : elem * elem -> bool value 542 val gt = B.gt) value [all...] |
H A D | lalr.sml | 67 val gt = fn ((a,_),(b,_)) => gtItem(a,b) value 73 val gt = gtNonterm value 82 val gt = fn ((i,_),(j,_)) => gtNonterm(i,j) value
|
H A D | mklrtable.sml | 55 val gt = fn ((Grammar.NT a,_),(Grammar.NT b,_)) => a>b value
|
H A D | yacc.sml | 111 val gt = (op >) : string*string -> bool) value 114 val gt = fn (T i,T j) => i > j) value 118 val gt = fn (TERM(T i),TERM(T j)) => i>j value
|
/seL4-l4v-master/HOL4/src/proofman/ |
H A D | proofManagerLib.sig | 12 val gt : term quotation -> proofs value
|
H A D | proofManagerLib.sml | 36 fun gt q = set_goaltree([],Parse.Term q); function
|
/seL4-l4v-master/HOL4/examples/HolCheck/ |
H A D | profTools.sml | 62 val gt = checkGCTime t value
|
/seL4-l4v-master/HOL4/tools/mllex/ |
H A D | mllex.sml | 371 let val gt = fn a => fn b => not (leq(a,b)) value
|
/seL4-l4v-master/HOL4/src/pattern_matches/ |
H A D | patternMatchesLib.sml | [all...] |
Completed in 135 milliseconds