Searched defs:net (Results 1 - 14 of 14) sorted by relevance
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Units.sml | 37 val net = LiteralNet.insert net (lit,uTh) value
44 val net = LiteralNet.insert net (lit',(lit',th')) value
[all...] |
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Units.sml | 37 val net = LiteralNet.insert net (lit,uTh) value
44 val net = LiteralNet.insert net (lit',(lit',th')) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/step/ |
| H A D | riscv_stepLib.sml | 150 val net = value
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | Rewrite.sml | 106 let val net = net_of rws value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/simp/src/ |
| H A D | congLib.sml | 151 val net = (raise context) handle CONVNET net value
157 val net = ((raise context) handle CONVNET net => net) value
[all...] |
| H A D | simpLib.sml | 177 type net = ((term list -> term -> thm) -> term list -> conv) Ho_Net.net; type
477 val net = net_add_convs initial_net newconvdata value
557 val net = (raise context) handle CONVNET net => net value
564 val net = (raise context) handle CONVNET net => net value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/pattern_matches/ |
| H A D | constrFamiliesLib.sml | 564 val net = !typeConstrFamsDB value
776 val net = #pcdb_constrFams db value
793 val net value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/garbage-collectors/ |
| H A D | boolTools.sml | 495 val net = foldr (fn ((conv,t),net) => Net.insert (t,conv) net) Net.empty conv_termL; value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/step/ |
| H A D | arm8_stepLib.sml | 633 val net = NetFromList (List.map Lib.swap ps2) value
682 val net = mk_net value
|
| /seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/ |
| H A D | vars_as_resourceBaseFunctor.sml | 172 val net = foldr (fn ((conv,t),net) => Net.insert (t,conv) net) Net.empty conv_termL; value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/ |
| H A D | utilsLib.sml | 794 val net = List.partition (List.null o Thm.hyp) o value
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | term_grammar.sml | 234 val (net, keyset) = #user_printers g value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/step/ |
| H A D | m0_stepLib.sml | 1906 val net = utilsLib.mk_rw_net utilsLib.lhsc (getThms pcinc tms) value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/ |
| H A D | arm_stepLib.sml | 2585 val net = value
4178 val net = utilsLib.mk_rw_net utilsLib.lhsc (getThms enc tms) value
|
Completed in 334 milliseconds