Searched defs:rules (Results 1 - 25 of 44) sorted by relevance
12
| /seL4-l4v-master/isabelle/src/Doc/Logics_ZF/document/ |
| H A D | FOL.tex | [all...] |
| /seL4-l4v-master/l4v/isabelle/src/Doc/Logics_ZF/document/ |
| H A D | FOL.tex | [all...] |
| /seL4-l4v-master/isabelle/src/Doc/Intro/document/ |
| H A D | foundations.tex | [all...] |
| H A D | advanced.tex | [all...] |
| /seL4-l4v-master/l4v/isabelle/src/Doc/Intro/document/ |
| H A D | foundations.tex | [all...] |
| H A D | advanced.tex | [all...] |
| /seL4-l4v-master/isabelle/src/Doc/Logics/document/ |
| H A D | LK.tex | [all...] |
| /seL4-l4v-master/l4v/isabelle/src/Doc/Logics/document/ |
| H A D | LK.tex | [all...] |
| /seL4-l4v-master/HOL4/examples/formal-languages/context-free/ |
| H A D | pegSampleScript.sml | 53 val rules = ``FEMPTY |+ ^exprpair |+ ^factorpair |+ ^termpair`` value
[all...] |
| /seL4-l4v-master/HOL4/examples/ind_def/ |
| H A D | opsemScript.sml | 88 val (rules,induction,ecases) = Hol_reln value
|
| /seL4-l4v-master/HOL4/src/res_quan/Manual/ |
| H A D | summary.tex | |
| /seL4-l4v-master/HOL4/examples/dev/sw2/ |
| H A D | inline.sml | 97 val rules = mk_inline_rules env value
|
| H A D | monomorphisation.sml | 311 let val rules = mk_type_combination insts value
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | type_grammar.sig | 16 val rules : grammar -> {infixes: (int * grammar_rule) list, value
|
| H A D | type_grammar.sml | 213 fun rules (TYG gr) = {infixes = #rules gr, suffixes = keys (#bare_names gr)} function
[all...] |
| H A D | term_grammar.sig | 104 val rules : grammar -> (int option * grammar_rule) list value
|
| /seL4-l4v-master/HOL4/tools/mlyacc/src/ |
| H A D | coreutils.sml | 75 val rules = value
[all...] |
| H A D | mkprstruct.sml | 66 val rules = numRules table value
|
| H A D | mklrtable.sml | 308 val {rules,graph,produces,epsProds,...} = Graph.mkGraph grammar value
[all...] |
| /seL4-l4v-master/HOL4/src/new-datatype/ |
| H A D | Witness.sml | 91 val rules = get_rules alls xalls ator value
|
| H A D | NDatatype.sml | 380 val rules = map mk_imp (zip Hyps Cons) value
393 val (rules, ind, cases) = value
|
| /seL4-l4v-master/HOL4/src/tfl/src/ |
| H A D | RW.sig | 55 datatype rules = Default of thm list type
|
| /seL4-l4v-master/HOL4/src/IndDef/ |
| H A D | CoIndDefLib.sml | 183 val (rules, coind, cases) = new_coinductive_definition monoset name tm value
|
| H A D | IndDefLib.sml | 191 val (rules, indn, cases) = new_inductive_definition monoset name tm value
|
| /seL4-l4v-master/HOL4/Manual/Translations/IT/Description/ |
| H A D | drules.tex | |
Completed in 225 milliseconds
12