Searched defs:lines (Results 1 - 23 of 23) sorted by last modified time

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DTptp.sml2091 val lines = Stream.fromTextFile {filename = filename} value
H A DPrint.sml897 val lines = addChunksLine lines lineIndent chunks value
899 val lines = addIndentChunksLines lines indent indent_chunks value
988 val lines = addChunksLine lines lineIndent chunks value
990 val lines = addIndentChunksLines lines indent indent_chunks value
1442 val (lines,state) = executeBigBreak lines state value
1457 val lines = [] value
1483 val lines = [] value
1485 val (lines,state) = executeEof lineLength lines state value
1499 val lines = Stream.maps execute final initialState pps value
1516 val lines = Stream.foldl incn (inc h []) (t ()) value
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DTptp.sml2091 val lines = Stream.fromTextFile {filename = filename} value
H A DPrint.sml897 val lines = addChunksLine lines lineIndent chunks value
899 val lines = addIndentChunksLines lines indent indent_chunks value
988 val lines = addChunksLine lines lineIndent chunks value
990 val lines = addIndentChunksLines lines indent indent_chunks value
1442 val (lines,state) = executeBigBreak lines state value
1457 val lines = [] value
1483 val lines = [] value
1485 val (lines,state) = executeEof lineLength lines state value
1499 val lines = Stream.maps execute final initialState pps value
1516 val lines = Stream.foldl incn (inc h []) (t ()) value
[all...]
/seL4-l4v-10.1.1/HOL4/tools/
H A Dwin-config.sml64 val lines = readlines [] value
H A Dmake_iss.sml174 val lines = readlines [] value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dtailbuffer.sml47 val lines = String.fields (fn c => c = #"\n") s' value
H A DHolmake_tools.sml672 val lines = String.fields (fn c => c = #"\n") (collapse_bslash_lines s) value
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DHelp.sml109 val lines = Vector.length strs value
[all...]
/seL4-l4v-10.1.1/HOL4/src/unwind/
H A DunwindLib.sml478 val (lines,rhs_free_vars) = value
[all...]
/seL4-l4v-10.1.1/HOL4/src/emit/
H A Dbasis_emitScript.sml1305 val lines = [ value
/seL4-l4v-10.1.1/HOL4/src/TeX/
H A DmungeTools.sml472 val lines = thm |> CONJUNCTS |> map (concl o SPEC_ALL) value
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DHtmlsigs.sml63 val lines = Substring.fields (fn c => c = #"\n") value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/
H A Dx64_codegenLib.sml91 fun lines [] [] = [] function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A DwriterLib.sml57 val lines = String.tokens (fn c => c = #"\n") str value
H A DbackgroundLib.sml46 fun lines aux = case TextIO.inputLine(t) of function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A DcodegenLib.sml109 fun lines [] [] = [] function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/
H A DassemblerLib.sml39 val lines = String.fields (fn c => c = #"\n") o Substring.concat o value
45 type lines = {string : string, line : int} list type
H A DassemblerLib.sig3 type lines = {line: int, string: string} list type
/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/
H A DRESET_PARITY.ml277 let lines tok t = var
H A DPARITY.ml56 let lines tok t = var
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/
H A Darm_evalLib.sml640 val lines = (Word8Vector.length data - skip) div 4 value
/seL4-l4v-10.1.1/HOL4/developers/
H A DgenerateBuildSummary.sml83 val (lines, cnt) = value
[all...]

Completed in 160 milliseconds