Searched defs:preds (Results 1 - 7 of 7) sorted by last modified time

/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dind_rel.sml1375 val preds = mk_preds genvars renamed_argvars imp_thms value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DGraph.sml210 val (preds, succs) = #2 (#2 (get_entry G x)); value
[all...]
/seL4-l4v-10.1.1/HOL4/src/meson/src/
H A DmesonLib.sml842 let val (preds,funs) = itlist fm_consts tms ([],[]) value
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A Dind_types.sml265 val preds = mk_set (map (repeat rator) concs) value
274 val preds = map (fst o strip_comb) (strip_conj(lhand(concl thm))) value
384 val preds = make_args "P" [] ptypes value
489 val preds = map (rator o body o rand) (conjuncts(rand(concl th3))) value
697 val preds value
[all...]
/seL4-l4v-10.1.1/HOL4/src/1/
H A DPrim_rec.sml1222 val preds = itlist (insert o fst) spats [] value
H A DHo_Rewrite.sml218 val (preds,pats) = unzip(map dest_comb lefts) value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml910 val preds = map pt o filter is_cond o map (rhs o snd o strip_forall) o strip_conj value
3313 val preds = fst (strip_forall (concl result)) value
3567 val preds = map (rator o snd o strip_forall) value

Completed in 108 milliseconds