diff options
Diffstat (limited to 'cheri/sail_latex/sailabsatom.tex')
| -rw-r--r-- | cheri/sail_latex/sailabsatom.tex | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/cheri/sail_latex/sailabsatom.tex b/cheri/sail_latex/sailabsatom.tex deleted file mode 100644 index 5164ef32..00000000 --- a/cheri/sail_latex/sailabsatom.tex +++ /dev/null @@ -1,7 +0,0 @@ -val abs_atom = { - smt : "abs", - ocaml: "abs_int", - lem: "abs_int", - c: "abs_int", - coq: "abs_with_eq" -} : forall 'n. atom('n) -> {'o, 'o = #\hyperref[zabszyatom]{abs\_atom}#('n). atom('o)} |