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

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibMetis.sml67 val rl = R.update_clause_parm o mlibClause.update_literal_order o K; value
/seL4-l4v-10.1.1/HOL4/src/compute/src/
H A Dclauses.sml191 let val rl = assoc_clause rws name value
198 let val rl = assoc_clause rws p value
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DOmegaMath.sml522 val (rl, rr) = dest_plus (rand tm) value
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttUnfold.sml702 val rl = value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DutilsLib.sml389 val rl = value

Completed in 113 milliseconds