--- a/web/topics.shtml
+++ b/web/topics.shtml
@@ -109,6 +109,7 @@
 <a href="entries/BytecodeLogicJmlTypes.shtml">BytecodeLogicJmlTypes</a> &nbsp;
 <a href="entries/DataRefinementIBP.shtml">DataRefinementIBP</a> &nbsp;
 <a href="entries/SIFPL.shtml">SIFPL</a> &nbsp;
+<a href="entries/TLA.shtml">TLA</a> &nbsp;
 
 <strong>Compiling:</strong>&nbsp;<a href="entries/Compiling-Exceptions-Correctly.shtml">Compiling-Exceptions-Correctly</a> &nbsp;
 <a href="entries/NormByEval.shtml">NormByEval</a> &nbsp;