Searched defs:rvar (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/tools/
H A Dtuerk_tacticsLib.sml15 val (rvar,RBody) = dest_exists rhs value
30 val (rvar,RBody) = dest_forall rhs value
/seL4-l4v-10.1.1/HOL4/examples/elliptic/swsep/
H A DswsepScript.sml62 val (rvar,RBody) = dest_forall rhs value
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A DDatatype.sml602 val rvar = mk_var("r", toprec_ty) value

Completed in 157 milliseconds