diff --git a/docs/ProgrammingCryptol.pdf b/docs/ProgrammingCryptol.pdf
index 21d5505f..67d16e3c 100644
Binary files a/docs/ProgrammingCryptol.pdf and b/docs/ProgrammingCryptol.pdf differ
diff --git a/docs/Semantics.pdf b/docs/Semantics.pdf
index c9677976..c5699a80 100644
Binary files a/docs/Semantics.pdf and b/docs/Semantics.pdf differ