HomeIsabelle/Phabricator

split library index into templates

Description

split library index into templates

Details

Provenance
florian.haftmannAuthored on
Parents
rISABELLE9146551357f6: structured
Branches
Unknown
Tags
Unknown

Event Timeline