HomeIsabelle/Phabricator

updated to Isabelle/efc58b56a6c7;

Description

updated to Isabelle/efc58b56a6c7;

Details

Provenance
makariusAuthored on
makariusPushed on Sat, Jan 9, 12:16 AM
Parents
rWEBSITEcb90921a4216: tuned;
Branches
Unknown
Tags
Unknown