diff --git a/Documentation/app-use-cases.tex b/Documentation/app-use-cases.tex
new file mode 100644
index 0000000..80605ec
--- /dev/null
+++ b/Documentation/app-use-cases.tex
@@ -0,0 +1,2 @@
+\chapter{Use cases}
+
diff --git a/Documentation/lispos.tex b/Documentation/lispos.tex
index 24dc3a2..e168f2c 100644
--- a/Documentation/lispos.tex
+++ b/Documentation/lispos.tex
@@ -105,6 +105,8 @@ Specification of a Lisp operating system.}}
 \inputtex{chap-checkpointing.tex}
 \inputtex{chap-device-drivers.tex}
 
+\inputtex{part-app.tex}
+
 \bibliography{lispos}{}
 \bibliographystyle{alpha}
 
diff --git a/Documentation/part-app.tex b/Documentation/part-app.tex
new file mode 100644
index 0000000..45e30aa
--- /dev/null
+++ b/Documentation/part-app.tex
@@ -0,0 +1,4 @@
+\part{Appendices}
+\appendix
+
+\inputtex{app-use-cases.tex}