HomePhabricator

adapted to Isabelle/0c47c128f9af;

Description

adapted to Isabelle/0c47c128f9af;

Details

Committed
Wenda Li <liwenda1990@hotmail.com>Mon, Dec 2, 1:48 AM
Parents
rAFP7e45833c40f6: explicit variable declaration
Branches
Unknown
Tags
Unknown

Event Timeline