Revert "wib" (mistaken delete of sail_latexcc)

This reverts commit 4c84c70eafbbf9bea475e3264f21eedc3555021f.

1 files changed, 6 insertions, 0 deletions

diff --git a/cheri/sail_latexcc/sailccplainvectorupdate.tex b/cheri/sail_latexcc/sailccplainvectorupdate.tex
new file mode 100644
index 00000000..6880d9bd
--- /dev/null
+++ b/cheri/sail_latexcc/sailccplainvectorupdate.tex
@@ -0,0 +1,6 @@
+val plain_vector_update = {
+  ocaml: "update",
+  lem: "update_list_dec",
+  coq: "vec_update_dec",
+  c: "vector_update"
+} : forall '#\hyperref[zn]{n}# ('a : Type). (vector('n, dec, 'a), int, 'a) -> vector('n, dec, 'a)