Removed TeX temporary files, simplified proof search implementation.