HomeIsabelle/Phabricator

explicit variable declaration

Authored by florian.haftmann.

Description

explicit variable declaration

Details

Committed
florian.haftmannNov 29 2019, 10:47 PM
Parents
rAFP78025c98b739: adapted to Isabelle/592e2afdd50c;
Branches
Unknown
Tags
Unknown