HomeIsabelle/Phabricator
Diffusion afp-devel f7ec8c203092

tune imports
f7ec8c203092
Actions

Description

tune imports

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFPc60abfef602f: polished theory
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPf7ec8c203092: tune imports.Fri, Apr 12, 2:49 PM

Changes (1)

PathSize
thys/
Show/

rAFPf7ec8c203092

View Options

thys/Show/Shows_Literal.thy

Loading...