HomeIsabelle/Phabricator

added NBA n-ary union

Description

added NBA n-ary union

Details

Committed
Julian Brunner <julianbrunner@gmail.com>Jan 24 2020, 3:30 PM
Parents
rAFP0f0adba767a3: adapted to isabelle-dev/e0237f2eb49d
Branches
Unknown
Tags
Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFP97558303a643: added NBA n-ary union.Jan 24 2020, 3:30 PM