/seL4-l4v-10.1.1/HOL4/src/opentheory/compat/ |
H A D | OpenTheoryBoolScript.sml | 9 val _ = new_constant("dummy",alpha) 10 val _ = OpenTheoryMap.OpenTheory_const_name{const={Thy=Thy,Name="dummy"},name=([],pkg)}
|
H A D | OpenTheoryFunctionScript.sml | 9 val _ = new_constant("dummy",alpha) 10 val _ = OpenTheoryMap.OpenTheory_const_name{const={Thy=Thy,Name="dummy"},name=([],pkg)}
|
H A D | OpenTheoryRelationScript.sml | 9 val _ = new_constant("dummy",alpha) 10 val _ = OpenTheoryMap.OpenTheory_const_name{const={Thy=Thy,Name="dummy"},name=([],pkg)}
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/ |
H A D | model.scala | 43 Mutator.Edge_Endpoints((Graph_Display.Node.dummy, Graph_Display.Node.dummy)),
|
H A D | graphview.scala | 47 case (dummy: Layout.Dummy, (info, _)) if Shapes.shape(info).contains(at) => dummy
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/ |
H A D | PortableIsabelle.sml | 26 fun time f x = f x (* dummy *)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Graphview/ |
H A D | model.scala | 43 Mutator.Edge_Endpoints((Graph_Display.Node.dummy, Graph_Display.Node.dummy)),
|
H A D | graphview.scala | 47 case (dummy: Layout.Dummy, (info, _)) if Shapes.shape(info).contains(at) => dummy
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/ |
H A D | PortableIsabelle.sml | 26 fun time f x = f x (* dummy *)
|
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
H A D | stringBinTree.sml | 83 fun mk_leaf keymap ranks s mxl dummy = 95 in Binarymap.find(keymap,key) handle NotFound => dummy end 105 fun mk_subtree keymap ranks cl mxl ccl i s k dummy = 108 (s^(if (List.null k) then "+" else Char.toString (String.sub(hd k,Vector.sub(ranks,i))))) k dummy 114 else Char.toString(String.sub(hd kl,Vector.sub(ranks,i))))) kl dummy 115 else mk_subtree keymap ranks cl mxl (List.take((tl ccl),(List.length ccl) div 2)) i s kl dummy 118 else Char.toString(String.sub(hd kr,Vector.sub(ranks,i))))) kr dummy 119 else mk_subtree keymap ranks cl mxl (List.drop((tl ccl),(List.length ccl) div 2)) i s kr dummy 125 and mk_tree_aux keymap ranks cl mxl i s keys dummy = 127 then mk_leaf keymap ranks s mxl dummy 150 val dummy = if (List.null keys) then ``ARB`` else ``ARB:^(ty_antiq(type_of (snd(hd keymap))))`` value [all...] |
/seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
H A D | graph_display.scala | 20 val dummy: Node = Node("", "") 33 def is_dummy: Boolean = this == Node.dummy
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
H A D | graph_display.scala | 20 val dummy: Node = Node("", "") 33 def is_dummy: Boolean = this == Node.dummy
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | Option.sml | 82 structure dummy: structure 91 open dummy
|
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Solver.h | 143 vec<Lit> dummy(2,lit_Undef); 144 propagate_tmpbin = Clause_new(false, dummy); 145 analyze_tmpbin = Clause_new(false, dummy);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | config.guess | 107 dummy=$tmp/dummy ; 108 tmpfiles="$dummy.c $dummy.o $dummy.rel $dummy" ; 110 ,,) echo "int x;" > $dummy.c ; 112 if ($c -c -o $dummy.o $dummy.c) >/dev/null 2>&1 ; then 142 cat <<-EOF > $dummy [all...] |
H A D | mdate-sh | 141 set dummy x`eval "$ls_command \"\\\$save_arg1\""` 146 # Because of the dummy argument above, month is in $2.
|
H A D | ltmain.sh | 1413 # eval set dummy "$func_options_result"; shift 1546 eval set dummy "$_G_hook_result"; shift 1593 # set dummy "$func_split_short_opt_name" \ 1597 # *) set dummy "$_G_opt" "$*"; shift; break ;; 1688 eval set dummy "$func_run_hooks_result"; shift 1702 set dummy --warnings none ${1+"$@"} 1739 set dummy "$func_split_equals_lhs" \ 1747 set dummy "$func_split_short_opt_name" \ 1755 set dummy "$func_split_short_opt_name" \ 1762 *) set dummy " [all...] |
H A D | configure | 2941 set dummy gsed sed; ac_word=$2 3190 set dummy ${ac_tool_prefix}strip; ac_word=$2 3230 set dummy strip; ac_word=$2 3328 set dummy $ac_prog; ac_word=$2 3579 set dummy ${ac_tool_prefix}gcc; ac_word=$2 3619 set dummy gcc; ac_word=$2 3672 set dummy ${ac_tool_prefix}cc; ac_word=$2 3712 set dummy cc; ac_word=$2 3743 set dummy $ac_cv_prog_CC 3771 set dummy [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | config.guess | 107 dummy=$tmp/dummy ; 108 tmpfiles="$dummy.c $dummy.o $dummy.rel $dummy" ; 110 ,,) echo "int x;" > $dummy.c ; 112 if ($c -c -o $dummy.o $dummy.c) >/dev/null 2>&1 ; then 142 cat <<-EOF > $dummy [all...] |
H A D | ltmain.sh | 1413 # eval set dummy "$func_options_result"; shift 1546 eval set dummy "$_G_hook_result"; shift 1593 # set dummy "$func_split_short_opt_name" \ 1597 # *) set dummy "$_G_opt" "$*"; shift; break ;; 1688 eval set dummy "$func_run_hooks_result"; shift 1702 set dummy --warnings none ${1+"$@"} 1739 set dummy "$func_split_equals_lhs" \ 1747 set dummy "$func_split_short_opt_name" \ 1755 set dummy "$func_split_short_opt_name" \ 1762 *) set dummy " [all...] |
H A D | configure | 3175 set dummy ${ac_tool_prefix}strip; ac_word=$2 3215 set dummy strip; ac_word=$2 3313 set dummy $ac_prog; ac_word=$2 3667 set dummy ${ac_tool_prefix}windres; ac_word=$2 3707 set dummy windres; ac_word=$2 3967 set dummy ${ac_tool_prefix}gcc; ac_word=$2 4007 set dummy gcc; ac_word=$2 4060 set dummy ${ac_tool_prefix}cc; ac_word=$2 4100 set dummy cc; ac_word=$2 4131 set dummy [all...] |
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
H A D | muddy.c | 166 EXTERNML value mlbdd_getvarnum(value dummy) /* ML */ argument 632 EXTERNML value mlbdd_bdd_clrvarblocks(value dummy) /* ML */ argument 635 return dummy; 659 EXTERNML value mlbdd_bdd_getreorder_method(value dummy) /* ML */ argument 666 EXTERNML value mlbdd_bdd_getreorder_times(value dummy) /* ML */ argument 673 EXTERNML value mlbdd_bdd_disable_reorder(value dummy) /* ML */ argument 676 return dummy; 680 EXTERNML value mlbdd_bdd_enable_reorder(value dummy) /* ML */ argument 683 return dummy;
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/ |
H A D | makefile | 57 examples: dummy 67 dummy:
|
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
H A D | lalr.sml | 204 val dummy = ref nil value 207 in case ItemList.find((item,dummy),l)
|
/seL4-l4v-10.1.1/HOL4/src/HolSat/ |
H A D | minisatParse.sml | 90 (* the var component of the first pair is a dummy value ~1 *)
|