pull request numer 1

1. update section subject domain of sc-sets
2. update section subject domain of formal theories
3. changes in files to approve viewing