diff options
Diffstat (limited to 'cheri/sail_latex/sailMEMrreserve.tex')
| -rw-r--r-- | cheri/sail_latex/sailMEMrreserve.tex | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cheri/sail_latex/sailMEMrreserve.tex b/cheri/sail_latex/sailMEMrreserve.tex deleted file mode 100644 index 11b4f3db..00000000 --- a/cheri/sail_latex/sailMEMrreserve.tex +++ /dev/null @@ -1,2 +0,0 @@ -val MEMr_reserve = {lem: "MEMr_reserve"} : forall 'n, 'n >= 0. - ( #\hyperref[zbits]{bits}#(64) , atom('n) ) -> (#\hyperref[zbits]{bits}#(8 * 'n)) effect { rmem } |