tuned

--- a/src/Doc/Prog_Prove/Bool_nat_list.thy	Thu Aug 07 09:48:04 2014 +0200
+++ b/src/Doc/Prog_Prove/Bool_nat_list.thy	Thu Aug 07 10:06:18 2014 +0200
@@ -213,6 +213,7 @@
 \input{MyList.thy}\end{alltt}
 \caption{A Theory of Lists}
 \label{fig:MyList}
+\index{comment}
 \end{figure}
 
 \subsubsection{Structural Induction for Lists}