Searched refs:gone (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.h68 void deleted (ClauseId gone);
H A DProof.C162 void Proof::deleted(ClauseId gone) argument
165 trav->deleted(abs(gone));
167 putUInt(fp, ((id_counter - (abs(gone))) << 1) | 1);
/seL4-l4v-master/HOL4/src/marker/
H A DmarkerScript.sml70 persist and act as a signal to the user that something has gone wrong.
/seL4-l4v-master/HOL4/examples/ind_def/
H A DalgebraScript.sml180 (* is a process with an empty maximal trace, then we will have gone *)
/seL4-l4v-master/HOL4/src/0/
H A DType.sml8 (* symtab.sml, which is now gone. *)
/seL4-l4v-master/HOL4/src/parse/
H A DPreterm.sml205 encountered, as Overloaded nodes should be gone by the time clean
/seL4-l4v-master/HOL4/polyml/basis/
H A DThread.sml43 interactively to kill threads that appear to have gone out of
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DMessage.sml3673 They allocate memory which can't be freed until the dialogue has gone. *)
3684 (* Take this opportunity to filter any dialogues that have gone away. *)
3685 (* If this has gone away run any "free" function.*)
/seL4-l4v-master/HOL4/src/quotient/src/
H A Dquotient.sml2509 "resolve_quotient" until all the conditions are gone. This resolved
2549 "resolve_quotient" until all the conditions are gone. This resolved
/seL4-l4v-master/isabelle/src/Doc/Tutorial/document/
H A Drules.tex810 of~\isa{x} only. Isabelle has gone too far. The \commdx{back}
1008 Observe how the context has changed. The quantified formula is gone,
/seL4-l4v-master/l4v/isabelle/src/Doc/Tutorial/document/
H A Drules.tex810 of~\isa{x} only. Isabelle has gone too far. The \commdx{back}
1008 Observe how the context has changed. The quantified formula is gone,
/seL4-l4v-master/HOL4/Manual/Description/
H A DHolBdd.tex88 The development of {\tt HolBddLib} has gone through two phases. The
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A DHolBdd.tex88 The development of {\tt HolBddLib} has gone through two phases. The

Completed in 121 milliseconds