Searched refs:flg (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in50 flg=`printf '%s\n' "$$flg" | sed "s/$$1.*$$//"`; \
52 for flg in $$sane_makeflags; do \
54 case $$flg in \
65 case $$flg in \
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in50 flg=`printf '%s\n' "$$flg" | sed "s/$$1.*$$//"`; \
52 for flg in $$sane_makeflags; do \
54 case $$flg in \
65 case $$flg in \
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in53 flg=`printf '%s\n' "$$flg" | sed "s/$$1.*$$//"`; \
55 for flg in $$sane_makeflags; do \
57 case $$flg in \
68 case $$flg in \
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in51 flg=`printf '%s\n' "$$flg" | sed "s/$$1.*$$//"`; \
53 for flg in $$sane_makeflags; do \
55 case $$flg in \
66 case $$flg in \
/seL4-l4v-master/HOL4/tools/Holmake/
H A DGetOpt.sml143 | flgs => if List.exists (fn flg => (flg = opt')) flgs
/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in53 flg=`printf '%s\n' "$$flg" | sed "s/$$1.*$$//"`; \
55 for flg in $$sane_makeflags; do \
57 case $$flg in \
68 case $$flg in \
/seL4-l4v-master/HOL4/examples/ARM_security_properties/
H A DARM_proverLib.sml430 flg,uargs,trans_uf_thm) =
438 if(flg)
453 val base_thm = if (flg)
/seL4-l4v-master/HOL4/examples/acl2/examples/M1/
H A Dhol_defaxiomsScript.sml4142 |- pop_timer name flg state =
4145 (ite flg (cons (add (car timer) (cadr timer)) (cddr timer))
4186 |- set_w flg wrld state =
4188 put_global (asym "CURRENT-ACL2-WORLD") (prog2_dollar flg wrld)
4249 |- free_var_runes flg wrld =
4250 ite (eq flg (ksym "ONCE"))
/seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dhol_defaxiomsScript.sml4104 |- pop_timer name flg state =
4107 (ite flg (cons (add (car timer) (cadr timer)) (cddr timer))
4148 |- set_w flg wrld state =
4150 put_global (asym "CURRENT-ACL2-WORLD") (prog2_dollar flg wrld)
4211 |- free_var_runes flg wrld =
4212 ite (eq flg (ksym "ONCE"))
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A Dhol_defaxiomsScript.sml4100 |- pop_timer name flg state =
4103 (ite flg (cons (add (car timer) (cadr timer)) (cddr timer))
4144 |- set_w flg wrld state =
4146 put_global (asym "CURRENT-ACL2-WORLD") (prog2_dollar flg wrld)
4207 |- free_var_runes flg wrld =
4208 ite (eq flg (ksym "ONCE"))

Completed in 220 milliseconds