# HG changeset patch
# User nipkow
# Date 1407398778 -7200
# Node ID eea1e7cb4262ce0dac7f4f5225e665197577672e
# Parent  fcf966675478b98490766efa5b0f5ab0e94ab801
tuned

diff -r fcf966675478 -r eea1e7cb4262 src/Doc/Prog_Prove/Bool_nat_list.thy
--- 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}