HomeIsabelle/Phabricator

split library index into templates