Searched defs:fin (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-master/HOL4/src/HolSat/ |
| H A D | minisatParse.sml | 165 val fin = sat_fileopen (if isSome proof then valOf proof value
[all...] |
| H A D | minisatProve.sml | 34 val (fin,fout) = (in_name,in_name^"."^(getSolverName solver)) value
|
| /seL4-l4v-master/HOL4/examples/HolCheck/examples/ |
| H A D | ttt.sml | 81 val fin = mk_disj(bwin am 0,bwin bm 1); value
|
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibTermnet.sml | 286 fun fin (tm |-> (n,a)) = (n, tm |-> a); function
|
| /seL4-l4v-master/HOL4/src/pred_set/src/ |
| H A D | PFset_conv.sml | 348 val (fin,card) = itlist step items (FINITE_EMPTY',CARD_EMPTY') value
385 val (fin,maxthm) = itlist step front (FINITE_LAST,MAX_LAST) value
432 val (fin,sum) = itlist step items (FINITE_EMPTY',SIGMA_EMPTY') value
|
| /seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/ |
| H A D | holfootParser.sml | 1197 fun fin (changed, funname, pre_a, fun_body_a, post_a, ws', rs', vs2, pL2, rpe2, wpe2) = function
|
Completed in 104 milliseconds