Searched refs:update (Results 176 - 200 of 363) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/src/IndDef/
H A DIndDefLib.sml107 the built-in monoset, that users can update as they prove new
/seL4-l4v-10.1.1/HOL4/src/compute/src/
H A Dequations.sml35 | NONE => Array.update(bds,var,SOME arg)
/seL4-l4v-10.1.1/HOL4/src/datatype/record/
H A DRecordType.sml44 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 DmlibTerm.sml633 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 DmlibTermnet.sml72 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 Dbuild_history.scala155 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 Dvscode_resources.scala288 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 DRunTests.sml43 fun enter(s, v) = update(table, s, v)
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DIntArray2.sml40 val update : array * int * int * elem -> unit value
H A DPolyVectorOperations.sml111 (* 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 Dbuild_history.scala155 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 Dvscode_resources.scala288 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 Drecords.lisp287 (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 DSmtLib_Theories.sml143 (* array update is translated as function update *)
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dcoreutils.sml46 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 Dfile_readerLib.sml139 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 DCODETREE_CODEGEN_CONSTANT_FUNCTIONS.sml235 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 DGraphView.java152 update(g);
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dmercurial.scala128 def update(
131 hg.command("update",
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dpretty_text_area.scala163 def update(base_snapshot: Document.Snapshot, base_results: Command.Results, body: XML.Body)
H A Dpretty_tooltip.scala283 pretty_text_area.update(rendering.snapshot, results, info.info)
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DGraphView.java152 update(g);
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dmercurial.scala128 def update(
131 hg.command("update",
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dpretty_text_area.scala163 def update(base_snapshot: Document.Snapshot, base_results: Command.Results, body: XML.Body)
H A Dpretty_tooltip.scala283 pretty_text_area.update(rendering.snapshot, results, info.info)

Completed in 132 milliseconds

1234567891011>>