Removed syntax marks in lemmas in index files
refactoring
minor changes