HomeIsabelle/Phabricator

adapted to Isabelle 80d7f004089d

Authored by kleing.

Description

adapted to Isabelle 80d7f004089d

Details

Committed
kleingThu, Jun 25, 2:50 PM
Parents
rAFP50490f5bdc82: merge from afp-2020
Branches
Unknown
Tags
Unknown