changed from Length(Q) /= 0 to Is_Not_Zero(Length(Q))
Merge pull request #17 from yushan87/splash-fixes

changed from Length(Q) /= 0 to Is_Not_Zero(Length(Q))
changed the zero length theorem in String_Theory
Merge pull request #18 from yushan87/splash-fixes

changed the zero length theorem in String_Theory