HomeIsabelle/Phabricator
Diffusion afp-devel 306f9dbda4f6

proper indentation
306f9dbda4f6
Actions

Description

proper indentation

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP1a49a0b2203e: cleanup
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP306f9dbda4f6: proper indentation.Jan 8 2021, 10:06 AM

Changes (1)

PathSize
thys/
Algebraic_Numbers/

rAFP306f9dbda4f6

View Options

thys/Algebraic_Numbers/Bivariate_Polynomials.thy

Loading...