Searched refs:clause (Results 126 - 130 of 130) sorted by relevance

123456

/seL4-l4v-10.1.1/HOL4/src/bool/
H A DboolScript.sml3651 (* Completed the first clause of the definition *)
/seL4-l4v-10.1.1/HOL4/src/num/theories/
H A DarithmeticScript.sml498 (* Non-confluence problem between SUB (snd clause) and LESS_MONO_EQ *)
/seL4-l4v-10.1.1/isabelle/src/Doc/Tutorial/document/
H A Drules.tex1572 clause form produces a combinatorial
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Tutorial/document/
H A Drules.tex1572 clause form produces a combinatorial
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dtexinfo.tex390 \egroup % \vbox from first cropmarks clause

Completed in 156 milliseconds

123456