Searched refs:SUFFIX (Results 1 - 16 of 16) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | polyc.in | 23 @NATIVE_WINDOWS_TRUE@SUFFIX="obj" 24 @NATIVE_WINDOWS_FALSE@SUFFIX="o" 34 TMPOBJFILE="${TEMPORARYDIR}/polyobj.$$.$SUFFIX" 58 echo " -c Compile but do not link. The object file is written to the source file with .$SUFFIX extension."
|
H A D | configure | 1472 --program-suffix=SUFFIX append SUFFIX to installed program names
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
H A D | LTLScript.sml | 177 * SUFFIX p in is the ith suffix of p 181 `SUFFIX p i = \j. p(i+j)`; 200 (SEM M p (SOMETIMES f) = ?i. SEM M (SUFFIX p i) f) 202 (SEM M p (ALWAYS f) = !i. SEM M (SUFFIX p i) f) 204 (SEM M p (NEXT f) = SEM M (SUFFIX p 1) f) 207 ?i. SEM M (SUFFIX p i) f2 /\ !j. j < i ==> SEM M (SUFFIX p j) f1) 210 (?i. SEM M (SUFFIX p i) f2 /\ !j. j < i ==> SEM M (SUFFIX p j) f1) 212 !i. SEM M (SUFFIX [all...] |
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/LTL/ |
H A D | LTLScript.sml | 354 * SUFFIX p in is the ith suffix of p 358 `SUFFIX p i = \j. p(i+j)`; 377 (SEM M p (SOMETIMES f) = ?i. SEM M (SUFFIX p i) f) 379 (SEM M p (ALWAYS f) = !i. SEM M (SUFFIX p i) f) 381 (SEM M p (NEXT f) = SEM M (SUFFIX p 1) f) 384 ?i. SEM M (SUFFIX p i) f2 /\ !j. j < i ==> SEM M (SUFFIX p j) f1) 387 (?i. SEM M (SUFFIX p i) f2 /\ !j. j < i ==> SEM M (SUFFIX p j) f1) 389 !i. SEM M (SUFFIX [all...] |
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | ProvideUnicode.sml | 93 | SUFFIX TYPE_annotation => get_rule_data tf_opt rest 94 | SUFFIX (STD_suffix rrlist) =>
|
H A D | term_grammar_dtype.sml | 39 | SUFFIX of suffix_rule
|
H A D | type_pp.sml | 310 (100, parse_type.SUFFIX("list", true)), 311 (101, parse_type.SUFFIX("fun", false)), 312 (102, parse_type.SUFFIX("prod", false)), 313 (103, parse_type.SUFFIX("sum", false))];
|
H A D | term_grammar.sml | 314 | SUFFIX (STD_suffix rlist) => SUFFIX (STD_suffix (map f rlist)) 315 | SUFFIX TYPE_annotation => r 445 (SOME 899, SUFFIX TYPE_annotation), 507 | SUFFIX(STD_suffix rules) => 509 | SUFFIX TYPE_annotation => add (#type_intro (specials G)) 560 (SUFFIX (STD_suffix sl1), SUFFIX (STD_suffix sl2)) => 561 SUFFIX (STD_suffix (rrunion sl1 sl2)) 562 | (SUFFIX TYPE_annotatio [all...] |
H A D | parse_term.sml | 121 | SUFFIX (STD_suffix rules) => map rule_left rules 122 | SUFFIX TYPE_annotation => [TypeColon] 149 fun select (SUFFIX TYPE_annotation) = [[TypeTok]] 150 | select (SUFFIX (STD_suffix rules)) = let 286 | SUFFIX (STD_suffix rules) => app (insert_eqns o equalities) rules 287 | SUFFIX TYPE_annotation => () 325 | SUFFIX (STD_suffix rules) => map (f o rule_elements) rules 447 | SUFFIX TYPE_annotation => let 454 | SUFFIX (STD_suffix rules) => let 583 | SUFFIX (STD_suffi [all...] |
H A D | term_pp.sml | 282 val suffix = lift (SUFFIX o STD_suffix) 296 | SUFFIX (STD_suffix list) => List.concat (map suffix list) 297 | SUFFIX TYPE_annotation => [] 395 | SUFFIX TYPE_annotation => true 396 | SUFFIX (STD_suffix rrs) => 415 | SUFFIX (STD_suffix slist) => slist 1370 | SUFFIX (STD_suffix lst) => let 1397 | SUFFIX TYPE_annotation => 1744 | SUFFIX (STD_suffix list) => 1748 | SUFFIX Type_annotatio [all...] |
/seL4-l4v-10.1.1/HOL4/src/list/src/ |
H A D | rich_listSyntax.sml | 36 val (suffix_tm, mk_suffix, dest_suffix, is_suffix) = binop "SUFFIX"
|
H A D | rich_listScript.sml | 117 SUFFIX P l = FOLDL (\l' x. if P x then SNOC x l' else []) [] l`; 3693 conv ``SUFFIX (\x. x < 4) [1n;2;3]`` (* ??? *);
|
/seL4-l4v-10.1.1/HOL4/src/list/examples/ |
H A D | test.sml | 118 LIST_CONV (--`SUFFIX P ([]:'a list)`--); 119 LIST_CONV (--`SUFFIX P (SNOC x l:'a list)`--);
|
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/ |
H A D | parsePMATCH.sml | 49 | (SOME prec, SUFFIX (STD_suffix rrs)) =>
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | configure | 1512 --program-suffix=SUFFIX append SUFFIX to installed program names
|
H A D | texinfo.tex | 8101 % Define \refx{NAME}{SUFFIX} to reference a cross-reference string named NAME. 8102 % If its value is nonempty, SUFFIX is output afterward.
|
Completed in 324 milliseconds