Moving .thm for the fossacs paper to the git repo.