Searched defs:fx (Results 1 - 16 of 16) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/src/monad/more_monads/ |
| H A D | selftest.sml | 43 val fx = free "x" value
|
| /seL4-l4v-10.1.1/HOL4/src/bool/ |
| H A D | boolpp.sml | 306 val (fx, y) = dest_app a value
|
| H A D | boolScript.sml | 2335 val fx = ���^f ^x��� and gx = ���^g ^x��� value
2370 val fx = ���^f ^x��� and fy = ���^f ^y��� value
|
| /seL4-l4v-10.1.1/HOL4/src/monad/ |
| H A D | parmonadsyntax.sml | 152 val (fx, y) = dest_comb t value
|
| /seL4-l4v-10.1.1/HOL4/src/simp/src/ |
| H A D | Opening.sml | 52 val (fx,y) = dest_comb t value
|
| H A D | simpLib.sml | 294 val (fx,y) = dest_comb t value
|
| /seL4-l4v-10.1.1/HOL4/src/rational/ |
| H A D | schneiderUtils.sml | 330 val fx = mk_comb(f,x) value
|
| /seL4-l4v-10.1.1/HOL4/src/real/ |
| H A D | realSyntax.sml | 50 val (fx, y) = dest_comb t value
|
| /seL4-l4v-10.1.1/HOL4/examples/lambda/barendregt/ |
| H A D | reductionEval.sml | 39 val (fx,y) = dest_comb t value
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | selftest.sml | 494 val fx = mk_comb(mk_var("f", alpha --> bool), mk_var("x", alpha)) value
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | selftest.sml | 428 val fx = free "x" value
|
| H A D | Conv.sml | 326 val (fx, y) = with_exn dest_comb tm (ERR "FORK_CONV" "term not a comb") value
1477 val fx = value
|
| /seL4-l4v-10.1.1/HOL4/src/experimental-kernel/ |
| H A D | Term.sml | 18 let val fx = f x value
1035 val (fx, y) = dest_comb t value
|
| /seL4-l4v-10.1.1/HOL4/src/coretypes/ |
| H A D | PairRules.sml | 1964 val fx = with_exn list_mk_comb(f,xs) value
|
| /seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
| H A D | lzConv.sml | 298 val (fx,y) = with_exn dest_comb tm (ERR "FORK_CONV" "term not a comb") value
1299 val fx = Term.list_mk_comb(v,xs) handle HOL_ERR _ value
|
| H A D | lzPairRules.sml | 1985 val fx = with_exn list_mk_comb(f,xs) value
|
Completed in 241 milliseconds