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

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/
H A Dmilner.c177 bdd C, by, bx = bddfalse; local
/seL4-l4v-master/HOL4/src/meson/src/
H A DjrhTactics.sig11 val by : Tactic -> refinement value
H A DjrhTactics.sml20 fun by t ([], _) = raise ERR "by" "Can't apply tactic to empty Goal list" function
/seL4-l4v-master/isabelle/src/Doc/Intro/document/
H A Dfoundations.tex[all...]
/seL4-l4v-master/l4v/isabelle/src/Doc/Intro/document/
H A Dfoundations.tex[all...]
/seL4-l4v-master/HOL4/Manual/Guide/
H A Dguide.tex[all...]
/seL4-l4v-master/HOL4/src/basicProof/
H A DBasicProvers.sig64 val by : term quotation * tactic -> tactic (* infix *) value
/seL4-l4v-master/isabelle/src/Doc/Logics_ZF/document/
H A DZF.tex[all...]
/seL4-l4v-master/l4v/isabelle/src/Doc/Logics_ZF/document/
H A DZF.tex[all...]
/seL4-l4v-master/HOL4/src/boss/
H A DbossLib.sig144 val by : term quotation * tactic -> tactic (* infix *) value
/seL4-l4v-master/HOL4/tools/
H A Dholscript-mode.el

Completed in 64 milliseconds