Searched defs:rvar (Results 1 - 2 of 2) sorted by path

/seL4-l4v-master/HOL4/examples/elliptic/swsep/
H A DswsepScript.sml62 val (rvar,RBody) = dest_forall rhs value
/seL4-l4v-master/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

Completed in 72 milliseconds