HomeIsabelle/Phabricator

adapted to Isabelle/5727bcc3c47c;

Authored by makarius.

Description

adapted to Isabelle/5727bcc3c47c;

Details

Committed
makariusDec 2 2019, 3:05 PM
Parents
rAFP7e45833c40f6: explicit variable declaration
Branches
Unknown
Tags
Unknown