Searched defs:newVar (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DVarOrder.h54 void VarOrder::newVar(void) function in class:VarOrder
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DTerm.sig117 val newVar : unit -> term value
H A DTerm.sml236 fun newVar () = Var (Name.newName ()); function
/seL4-l4v-master/HOL4/examples/temporal_deep/src/tools/
H A Dtuerk_tacticsLib.sml16 val newVar = variant (free_varsl (t::asl)) lvar value
31 val newVar = variant (free_varsl (t::asl)) lvar value
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DTerm.sig117 val newVar : unit -> term value
H A DTerm.sml236 fun newVar () = Var (Name.newName ()); function
/seL4-l4v-master/HOL4/examples/elliptic/swsep/
H A DswsepScript.sml63 val newVar = variant (free_varsl (t::asl)) lvar value

Completed in 46 milliseconds