HomeIsabelle/Phabricator

tuned ATP to use fold_index