Diffusion afp-devel 4b87cdc4baaf

follow_on changes from Complex_Geometry
4b87cdc4baaf
Actions

Tags

None

Subscribers

None

Description

follow_on changes from Complex_Geometry

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPde4ae134bdf9: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP4b87cdc4baaf: follow_on changes from Complex_Geometry.Feb 19 2021, 11:22 PM

Changes (6)

Path

Size

thys/

Poincare_Disc/

Poincare_Between.thy

Poincare_Distance.thy

Poincare_Lines.thy

Poincare_Lines_Axis_Intersections.thy

Poincare_Lines_Ideal_Points.thy

Poincare_Tarski.thy

rAFP4b87cdc4baaf

thys/Poincare_Disc/Poincare_Between.thy

Loading...

thys/Poincare_Disc/Poincare_Distance.thy

Loading...

thys/Poincare_Disc/Poincare_Lines.thy

Loading...

thys/Poincare_Disc/Poincare_Lines_Axis_Intersections.thy

Loading...

thys/Poincare_Disc/Poincare_Lines_Ideal_Points.thy

Loading...

thys/Poincare_Disc/Poincare_Tarski.thy

Loading...