| /seL4-l4v-10.1.1/HOL4/examples/diningcryptos/ |
| H A D | formalizeUseful.sml | 532 val i = #prims(Count.read m)
536 val i' = #prims(Count.read m)
|
| H A D | subtypeUseful.sml | 532 val i = #prims(Count.read m)
536 val i' = #prims(Count.read m)
|
| /seL4-l4v-10.1.1/HOL4/tools/ |
| H A D | buildutils.sml | 447 val (env, _, _) = ReadHMF.read "Holmakefile" (base_environment())
758 end handle _ => (print "Couldn't read documentation directories file\n";
|
| /seL4-l4v-10.1.1/HOL4/examples/miller/useful/ |
| H A D | HurdUseful.sml | 476 val i = #prims(Count.read m)
480 val i' = #prims(Count.read m)
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/ |
| H A D | command.scala | 502 val imports1 = Thy_Header.read(reader, Token.Pos.none).imports
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/ |
| H A D | protocol.scala | 447 def read(range: Line.Range): DocumentHighlight = DocumentHighlight(range, Some(2))
|
| H A D | server.scala | 494 channel.read() match {
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/ |
| H A D | command.scala | 502 val imports1 = Thy_Header.read(reader, Token.Pos.none).imports
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/ |
| H A D | protocol.scala | 447 def read(range: Line.Range): DocumentHighlight = DocumentHighlight(range, Some(2))
|
| H A D | server.scala | 494 channel.read() match {
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
| H A D | texinfo.tex | 25 % As a special exception, when this file is read by TeX when processing
340 % "\acronym" won't work when it's read back in;
858 % This trickery is to read FILE outside of a group, in case it makes
1054 % If texinfo.cnf is present on the system, read it.
1329 % subentries, which we calculated on our first read of the .toc above.
1783 % before you read in texinfo.tex.
4911 % false. We have to make TeX try to read something from the file, so
4913 \read 1 to \temp
5965 % read this. The node name is used in the pdf outlines as the
6031 % Prepare to read wha
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/ |
| H A D | stateLib.sml | 744 l3 is a list of updates for regular components (known to be read)
881 val read = read_footprint proj_def comp_defs cpool extras value
889 val (p, pool, c, tm) = read thm
|
| /seL4-l4v-10.1.1/HOL4/src/pred_set/src/more_theories/ |
| H A D | ordinalNotationScript.sml | 788 val _ = Count.report (Count.read meter);
|
| /seL4-l4v-10.1.1/HOL4/src/quotient/examples/lambda/ |
| H A D | variableScript.sml | 55 (* will not be read; thus ("x",0) => "x" but ("y",2) => "y2".*)
|
| /seL4-l4v-10.1.1/HOL4/src/quotient/examples/sigma/ |
| H A D | variableScript.sml | 61 (* will not be read; thus ("x",0) => "x" but ("y",2) => "y2".*)
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | lisp_correctnessScript.sml | 29 (* semantics of the read-eval-print loop *)
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/spec/ |
| H A D | lisp_semanticsScript.sml | 334 (* semantics of the read-eval-print loop *)
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/milawa-prover/ |
| H A D | milawa_coreScript.sml | 16 (* read all lines from file *)
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | arm_seq_monadScript.sml | 495 (* aligned, atomic, little-endian memory access - read *)
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/ |
| H A D | emit_eval.sml | 563 of armML.Error s => raise Fail "couldn't read Architecture"
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/model/ |
| H A D | arm_seq_monadScript.sml | 501 (* aligned, atomic, little-endian memory access - read *)
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | FinalPolyML.sml | 34 This contains the top-level read-eval-print loop as well as "use" and
544 (* Top-level read-eval-print loop. This is the normal top-level loop and is
548 (* This is used as the main read-eval-print loop. It is also invoked
690 that requires locking round every read to make it thread-safe. We know there's
|
| H A D | Int.sml | 215 once we have read a valid digit. *)
|
| /seL4-l4v-10.1.1/seL4/libsel4/tools/ |
| H A D | bitfield_gen.py | 2643 _, block_map, union_map = yacc.parse(input=in_file.read(), lexer=lexer)
2691 string = f.read()
|
| /seL4-l4v-10.1.1/seL4/manual/parts/ |
| H A D | vspace.tex | 161 that is being invoked must have read permissions. To map the page
|