Add CS theory directory.