HomeIsabelle/Phabricator

misc updates for Isabelle2022-RC1;

Description

misc updates for Isabelle2022-RC1;

Details

Provenance
makariusAuthored on
makariusPushed on Sun, Sep 11, 11:39 AM
Parents
rWEBSITEf1376d1ba062: tuned;
Branches
Unknown
Tags
Unknown