ShunkevichDV/ims.ostis.kb — pull request #22 by alex99bogatko (2014-05-05 13:58:32+00:00)
Title: pull request numer 2

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