diff --git a/lib/html/library_index_content.template b/lib/html/library_index_content.template
deleted file mode 100644
--- a/lib/html/library_index_content.template
+++ /dev/null
@@ -1,54 +0,0 @@
-
- - Higher-Order Logic
-
- -
-
-
-
-
-
- - First-Order Logic
-
- -
-
-
-
-
-
- - Miscellaneous
-
- -
-
-
-
diff --git a/lib/html/library_index_footer.template b/lib/html/library_index_footer.template
deleted file mode 100644
--- a/lib/html/library_index_footer.template
+++ /dev/null
@@ -1,2 +0,0 @@
-