diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/main.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/main.tex
index 7285d8fd6ec..31e6d6450cb 100644
--- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/main.tex
+++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/main.tex
@@ -6,8 +6,6 @@
 \input{Algebraic_foundations_ref/FromDoubleConstructible.tex}
 %classes 
 %\input{Algebraic_foundations_ref/Null_type.tex}
-\input{Algebraic_foundations_ref/Null_tag.tex}
-\input{Algebraic_foundations_ref/Null_functor.tex}
 %functors
 \input{Algebraic_foundations_ref/Max_functor.tex}
 \input{Algebraic_foundations_ref/Min_functor.tex}