Main Sofin definitions repository