Update TheoremSet.java

Implemented TheoremSet
Pending debugging & testing