Searched refs:deferred (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-master/HOL4/polyml/basis/
H A DThreadLib.sml41 if andb(oldAttrs, 0w6) = 0w0 (* Already deferred? *)
H A DTopLevelPolyML.sml1314 interrupts deferred. *)
1516 (* The compile thread is run with interrupts deferred initially. *)
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_share_phase.cpp689 bool deferred = false; local
707 deferred = true;
712 if (deferred)
/seL4-l4v-master/HOL4/developers/discussion/
H A Doverloading-extension.tex21 \label{sec:deferred-definition}
/seL4-l4v-master/HOL4/tools/mlyacc/mlyacclib/
H A DMLY_parser2.sml42 This program is an implementation is the partial, deferred method discussed
/seL4-l4v-master/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Dparser2.sml12 This program is an implementation is the partial, deferred method discussed
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Dparser2.sml12 This program is an implementation is the partial, deferred method discussed
/seL4-l4v-master/HOL4/examples/lambda/barendregt/
H A Dnormal_orderScript.sml24 that was OK on the left has to be deferred for the reduction in P
/seL4-l4v-master/HOL4/src/1/
H A Dselftest.sml26 (* tests that substitutions work, deferred until this point so that we get

Completed in 139 milliseconds