Svn mirror of http://oops.math.spbu.ru/projects/checked\/