Searched defs:specs (Results 1 - 6 of 6) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DlzPairRules.sml2489 val (specs,insts) = partition (C mem (free_varsl pvs) o #redex) value
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DParsspec.sml72 val specs = case parseSpec filename is value
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DSIGNATURES.sml82 and specs = type
1418 type specs type
[all...]
H A DSIGNATURESSIG.sml32 type specs type
72 type specs = specs type
[all...]
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DPairRules.sml2469 val (specs,insts) = partition (C mem (free_varsl pvs) o #redex) value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dparse_term.sml198 val specs = grammar_tokens G value

Completed in 183 milliseconds