deniskoronchik/ims.ostis.kb — pull request #30 by alex99bogatko (2014-05-05 12:54:18+00:00)
Title: 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