Diffusion afp-devel 510c4df209cf

arg -> Arg: the last holdout
510c4df209cf
Actions

Tags

None

Subscribers

None

Description

arg -> Arg: the last holdout

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP0a3968ac9ac6: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP510c4df209cf: arg -> Arg: the last holdout.Jul 3 2021, 11:35 AM

Changes (4)

Path

Size

thys/

Poincare_Disc/

Poincare_Between.thy

Poincare_Lines.thy

Poincare_Lines_Axis_Intersections.thy

Poincare_Tarski.thy

rAFP510c4df209cf

thys/Poincare_Disc/Poincare_Between.thy

Loading...

thys/Poincare_Disc/Poincare_Lines.thy

Loading...

thys/Poincare_Disc/Poincare_Lines_Axis_Intersections.thy

Loading...

thys/Poincare_Disc/Poincare_Tarski.thy

Loading...