Searched defs:RC (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/quotient/examples/lambda/
H A DetaScript.sml66 val (RC,Ru'v') = strip_comb ant value
[all...]
H A DbetaScript.sml1552 val (RC,Ru'v') = strip_comb ant value
[all...]
H A DreductionScript.sml244 val (RC,Ruv) = strip_comb ant value
[all...]
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/sigma/
H A DsemanticsScript.sml1787 val (RC,Ru'v') = boolSyntax.strip_comb ant value
[all...]
H A DreductionScript.sml297 val (RC,[R,u',v']) = boolSyntax.strip_comb ant value

Completed in 26 milliseconds