Searched refs:fancy (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dcondition_guard.c42 void fancy(int *p) { function
/seL4-l4v-10.1.1/HOL4/developers/
H A Dcomparelogs.sml22 \ -q Print raw data only, no sums, or fancy lines; (output to other tools)\n\
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sig412 (* fancy, slow conversion for detecting and removing
H A DpatternMatchesScript.sml504 helful. More fancy tests involving multiple rows follow below. *)
H A DpatternMatchesLib.sml80 (* We have a problem with conversions that loop in a fancy way.
/seL4-l4v-10.1.1/HOL4/Manual/Guide/
H A Dguide.tex153 The \TeX\ psfig macros are required for the fancy cover pages. See
308 fancy cover pages for all the volumes in the \HOL\ documentation. Working in
330 \item Type `{\tt make all}' to typeset the fancy cover pages using
/seL4-l4v-10.1.1/isabelle/src/Doc/Intro/document/
H A Dgetting.tex10 provide such fancy output as an option.
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Intro/document/
H A Dgetting.tex10 provide such fancy output as an option.
/seL4-l4v-10.1.1/isabelle/src/Doc/Logics_ZF/document/
H A DZF.tex1888 An alternative proof uses Isar's fancy \isa{induct} method, which
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics_ZF/document/
H A DZF.tex1888 An alternative proof uses Isar's fancy \isa{induct} method, which

Completed in 104 milliseconds