Searched defs:rotate (Results 1 - 19 of 19) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/src/proofman/ |
| H A D | goalStack.sig | 19 val rotate : gstk -> int -> gstk value
|
| H A D | Manager.sig | 43 val rotate : int -> proof -> proof value
|
| H A D | proofManagerLib.sig | 58 val rotate : int -> proof value
|
| H A D | Manager.sml | 119 fun rotate i (GOALSTACK s) = GOALSTACK(apply (C goalStack.rotate i) s) function
|
| H A D | proofManagerLib.sml | 128 fun rotate i = function
|
| H A D | goalStack.sml | 114 fun rotate(GSTK{prop=PROVED _, ...}) _ = function
|
| /seL4-l4v-10.1.1/HOL4/src/meson/src/ |
| H A D | jrhTactics.sig | 13 val rotate : int -> refinement value
|
| H A D | jrhTactics.sml | 45 fun rotate n = function
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | Useful.sml | 542 fun rotate (n,l) c k = List.nth (l, (k+Option.valOf(index(equal c)l)) mod n); function
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibUseful.sml | 456 fun rotate (n,l) c k = List.nth (l, (k+Option.valOf(index(equal c)l)) mod n); function
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Useful.sml | 516 fun rotate (n,l) c k = function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Useful.sml | 516 fun rotate (n,l) c k = function
|
| /seL4-l4v-10.1.1/HOL4/examples/diningcryptos/ |
| H A D | formalizeUseful.sig | 139 val rotate : int -> ('a list -> 'a * 'a list) value
|
| H A D | subtypeUseful.sig | 139 val rotate : int -> ('a list -> 'a * 'a list) value
|
| H A D | formalizeUseful.sml | 293 fun rotate i = nth i o rotations; function
|
| H A D | subtypeUseful.sml | 293 fun rotate i = nth i o rotations; function
|
| /seL4-l4v-10.1.1/HOL4/examples/miller/useful/ |
| H A D | HurdUseful.sig | 138 val rotate : int -> ('a list -> 'a * 'a list) value
|
| H A D | HurdUseful.sml | 269 fun rotate i = nth i o rotations; function
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/ |
| H A D | arm.sml | 20689 val rotate = BitsN.bits(4,3) rot value
20727 val rotate = BitsN.bits(4,3) rot value
20765 val rotate = BitsN.bits(4,3) rot value
[all...] |
Completed in 280 milliseconds