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

/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DTrace.sig1 signature Trace = signature
H A DTrace.sml1 structure Trace :> Trace = structure
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A Dmisc.tex
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A Dmisc.tex
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml106 val Trace = ref 0; value
H A DpolytypicLib.sml189 val Trace = ref 1; value

Completed in 182 milliseconds