doc-src/springer.tex

 \index{equality|seealso{simplification}}
 
 \bibliographystyle{springer} \small\raggedright\frenchspacing
 \bibliography{string-abbrv,atp,funprog,general,isabelle,logicprog,theory}
 
-\input{springer.ind}
+\printindex
 \end{document}