diff --git a/docs/function-types.typ b/docs/function-types.typ
index 93d1609..601ffd1 100644
--- a/docs/function-types.typ
+++ b/docs/function-types.typ
@@ -1,6 +1,8 @@
 #let theorem-kind = (link-to: 0, numbering: 0)
 
-/// TODO
+/// The functions that actually create the theorems.
+/// The default values of the arguments are set to the
+/// values provided in @@theorem-kind() or @@default-theorems.
 ///
 /// - name (content, str): The name of the #ref-type("theorem").
 /// - link-to (label, selector, selector-function, none): Link the #ref-type("theorem")
diff --git a/docs/readme.pdf b/docs/readme.pdf
index f28879c..93f7493 100644
Binary files a/docs/readme.pdf and b/docs/readme.pdf differ