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

/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DTerm.sig1 signature Term = signature
H A DTerm.sml1 structure Term :> Term = structure
[all...]
/seL4-l4v-10.1.1/HOL4/src/0/
H A DTerm.sig1 signature Term = signature
H A DTerm.sml12 structure Term :> Term = structure
/seL4-l4v-10.1.1/HOL4/src/ring/src/
H A Dabs_tools.sml46 fun Term q = let function
56 val Term = Parse.Term value
/seL4-l4v-10.1.1/HOL4/src/thm/
H A DOverlay.sml22 structure Term = Term :> FinalTerm where type term = Term.term structure
/seL4-l4v-10.1.1/HOL4/src/1/
H A DPsyntax.sml44 datatype lambda = datatype Term type
[all...]
/seL4-l4v-10.1.1/HOL4/Manual/Quick/
H A Dquick.tex
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DTerm.sig6 signature Term = signature
H A DTerm.sml6 structure Term :> Term = structure
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DTerm.sig6 signature Term = signature
H A DTerm.sml6 structure Term :> Term = structure
[all...]
/seL4-l4v-10.1.1/HOL4/Manual/Tutorial/
H A Dlogic.tex
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DParse.sig68 val Term : term frag list -> term value
H A DParse.sml460 fun Term q = absyn_to_term (term_grammar()) (Absyn q) function
[all...]

Completed in 92 milliseconds