HomeIsabelle/Phabricator

Description

fix imports

Details

Committed
Alexander Bentkamp <a.bentkamp@vu.nl>Tue, Jan 28, 4:57 PM
Parents
rAFPce989c675f3a: move lemma less_multiset_doubletons
Branches
Unknown
Tags
Unknown

Event Timeline

Alexander Bentkamp <a.bentkamp@vu.nl> committed rAFPb2241741f50f: fix imports.Tue, Jan 28, 4:57 PM