Wrong place.
Fresh start on itemize.xsl.
Check existence of input file and stylesheet.
Mark induced theorems.
Update itemize.lisp to account for new features of 8.1.02.