Diffusion afp-devel 9cbc0558e973

more selective imports
9cbc0558e973
Actions

Tags

None

Subscribers

None

Description

more selective imports

Details

Provenance

immler <immler@in.tum.de>

Authored on

Parents

rAFP770bcb8c1b45: fixed imports

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (15)

Path

Size

thys/

Minkowskis_Theorem/

Minkowskis_Theorem.thy

Octonions/

Cross_Product_7.thy

Ptolemys_Theorem/

Ptolemys_Theorem.thy

Quaternions/

Quaternions.thy

Smooth_Manifolds/

Analysis_More.thy

Bump_Function.thy

Tarskis_Geometry/

Taylor_Models/

Float_Topology.thy

Transcendence_Series_Hancl_Rucki/

Transcendence_Series.thy

Triangle/

UpDown_Scheme/

Triangular_Function.thy

Winding_Number_Eval/

Cauchy_Index_Theorem.thy

Missing_Topology.thy

pGCL/

rAFP9cbc0558e973

thys/Minkowskis_Theorem/Minkowskis_Theorem.thy

Loading...

thys/Octonions/Cross_Product_7.thy

Loading...

thys/Ptolemys_Theorem/Ptolemys_Theorem.thy

Loading...

thys/Quaternions/Quaternions.thy

Loading...

thys/Smooth_Manifolds/Analysis_More.thy

Loading...

thys/Smooth_Manifolds/Bump_Function.thy

Loading...

thys/Tarskis_Geometry/Metric.thy

Loading...

thys/Taylor_Models/Float_Topology.thy

Loading...

thys/Transcendence_Series_Hancl_Rucki/Transcendence_Series.thy

Loading...

thys/Triangle/Angles.thy

Loading...

thys/UpDown_Scheme/Grid_Point.thy

Loading...

thys/UpDown_Scheme/Triangular_Function.thy

Loading...

thys/Winding_Number_Eval/Cauchy_Index_Theorem.thy

Loading...

thys/Winding_Number_Eval/Missing_Topology.thy

Loading...

thys/pGCL/Misc.thy

Loading...