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

/seL4-l4v-master/HOL4/developers/
H A Dpoly-prehol.sml138 val stamp = TextIO.inputAll stampstr before TextIO.closeIn stampstr value
H A Dprehol.sml160 val stamp = inputAll stampstr before closeIn stampstr value
/seL4-l4v-master/HOL4/src/postkernel/
H A DTheory.sig34 val stamp : string -> Time.time value
H A DTheory.sml336 fun stamp thyname = function
/seL4-l4v-master/HOL4/src/parse/
H A Dselftest.sml679 fun stamp fxty = function

Completed in 176 milliseconds