Searched defs:instance (Results 1 - 5 of 5) sorted by relevance
| /seL4-l4v-master/HOL4/examples/imperative/ |
| H A D | imperativeLib.sml | 86 (fn th => let val instance = (SPECL [(hd valList)] th) value
|
| /seL4-l4v-master/graph-refine/ |
| H A D | trace_refute.py | 643 instance = (int (a), int (b)) variable
645 instance = None variable
655 instance = instance) variable
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | mechReasoning.sml | 249 val instance = list_mk_comb (Term`run_ir:CTL_STRUCTURE -> DSTATE -> DSTATE`, [blk, st]); value
413 val instance = list_mk_comb (Term`run_ir:CTL_STRUCTURE -> DSTATE -> DSTATE`, [sc_ir, st]); value
535 val instance = list_mk_comb (Term`eval_il_cond`, [cond_t, st]); value
579 val instance = list_mk_comb (Term`run_ir:CTL_STRUCTURE -> DSTATE -> DSTATE`, [tr_ir, st]); value
676 val instance = list_mk_comb (Term`run_ir:CTL_STRUCTURE -> DSTATE -> DSTATE`, [cj_ir, st]); value
|
| /seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
| H A D | TYPECHECK_PARSETREE.sml | 560 val instance = value
750 val instance = value
[all...] |
| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | mechReasoning.sml | 346 val instance = list_mk_comb (Term`run_ir:CTL_STRUCTURE -> DSTATE -> DSTATE`, [blk, st]); value
571 val instance = list_mk_comb (Term`run_ir:CTL_STRUCTURE -> DSTATE -> DSTATE`, [sc_ir, st]); value
942 val instance = list_mk_comb (Term`eval_il_cond`, [cond_t, st]); value
1031 val instance = list_mk_comb (Term`run_ir:CTL_STRUCTURE -> DSTATE -> DSTATE`, [tr_ir, st]); value
1168 val instance = list_mk_comb (Term`run_ir:CTL_STRUCTURE -> DSTATE -> DSTATE`, [cj_ir, st]); value
|
Completed in 58 milliseconds