tuned
renamed _lemmata.thy