Update TheoremSet