Searched defs:NEXT (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-master/HOL4/examples/hardware/hol88/computer/
H A Dnext.ml18 let NEXT = new_definition var
[all...]
H A Dproof6.ml20 let NEXT = definition `next` `NEXT`;; var
/seL4-l4v-master/HOL4/examples/acl2/tests/gold/
H A Dcircuits.lisp[all...]
H A Dltl.lisp
H A Dsummary.lisp[all...]
H A Dm1-story.lisp
/seL4-l4v-master/HOL4/examples/bmark/
H A DBmark.sml46 val NEXT = value
[all...]
/seL4-l4v-master/HOL4/examples/dev/booth/
H A DboothScript.sml78 val NEXT = save_thm("NEXT",SIMP_RULE std_ss [] NEXT_def); value
/seL4-l4v-master/HOL4/src/temporal/src/
H A DTemporal_LogicScript.sml23 val NEXT = new_definition("NEXT", ���NEXT P = \t. P(SUC t):bool���); value
[all...]
H A DtemporalLib.sml77 val NEXT = Term`NEXT` value
[all...]

Completed in 75 milliseconds