/seL4-l4v-10.1.1/HOL4/src/IndDef/ |
H A D | IndDefLib.sml | 107 the built-in monoset, that users can update as they prove new
|
/seL4-l4v-10.1.1/HOL4/src/compute/src/ |
H A D | equations.sml | 35 | NONE => Array.update(bds,var,SOME arg)
|
/seL4-l4v-10.1.1/HOL4/src/datatype/record/ |
H A D | RecordType.sml | 44 fun update n e = (insert n e) o (delete n); function 230 update posn t rest 254 (* generate functional update functions *) 278 update pos (mk_comb(f, result)) typeletters)) :: acc)
|
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibTerm.sml | 633 fun update _ _ [] = raise Error "rewrite: bad path" function 634 | update f n (h :: t) = if n = 0 then f h :: t else h :: update f (n - 1) t; 639 Fn (f, update (rewrite (t |-> res)) h args);
|
H A D | mlibTermnet.sml | 72 fun update sub v qtm = function 77 | qn sub ((Var v, qtm) :: rest) = qn (update sub v qtm) rest
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
H A D | build_history.scala | 155 hg.update(rev = version, clean = true) 429 -r REV update to revision (default: """ + default_rev + """) 535 self_hg.update(rev = hg.parent(), clean = true)
|
/seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/ |
H A D | vscode_resources.scala | 288 session.update(st.document_blobs, changed_models.flatMap(res => res._1._2)) 375 spell_checker.update(options)
|
/seL4-l4v-10.1.1/HOL4/polyml/Tests/ |
H A D | RunTests.sml | 43 fun enter(s, v) = update(table, s, v)
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | IntArray2.sml | 40 val update : array * int * int * elem -> unit value
|
H A D | PolyVectorOperations.sml | 111 (* Apply a function to each element in turn and update the array with the
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
H A D | build_history.scala | 155 hg.update(rev = version, clean = true) 429 -r REV update to revision (default: """ + default_rev + """) 535 self_hg.update(rev = hg.parent(), clean = true)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/ |
H A D | vscode_resources.scala | 288 session.update(st.document_blobs, changed_models.flatMap(res => res._1._2)) 375 spell_checker.update(options)
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/ |
H A D | records.lisp | 287 (defun update-macro (upds result) 290 (update-macro (cddr upds) 293 (defmacro update (old &rest updates) function 295 (update-macro updates old))
|
/seL4-l4v-10.1.1/HOL4/src/HolSmt/ |
H A D | SmtLib_Theories.sml | 143 (* array update is translated as function update *)
|
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
H A D | coreutils.sml | 46 in update(derives,n,rule::(derives sub n)) 67 in update(derives,i,rev l); g(i+1,n)
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
H A D | file_readerLib.sml | 139 fun update x y f a = if x = a then y else f a function 140 val find_section = foldl (fn ((sec_name,_,location,_),x) => update location sec_name x) (fn x => fail()) all_sections
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
H A D | CODETREE_CODEGEN_CONSTANT_FUNCTIONS.sml | 235 enterConstant = fn (n, w) => Array.update(cArray, n, SOME w), 266 enterConstant = fn (n, w) => Array.update(cArray, n, SOME w),
|
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
H A D | GraphView.java | 152 update(g);
|
/seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
H A D | mercurial.scala | 128 def update( 131 hg.command("update",
|
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
H A D | pretty_text_area.scala | 163 def update(base_snapshot: Document.Snapshot, base_results: Command.Results, body: XML.Body)
|
H A D | pretty_tooltip.scala | 283 pretty_text_area.update(rendering.snapshot, results, info.info)
|
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | GraphView.java | 152 update(g);
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
H A D | mercurial.scala | 128 def update( 131 hg.command("update",
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | pretty_text_area.scala | 163 def update(base_snapshot: Document.Snapshot, base_results: Command.Results, body: XML.Body)
|
H A D | pretty_tooltip.scala | 283 pretty_text_area.update(rendering.snapshot, results, info.info)
|