Diffusion afp-devel 130a0b12717f

more selective Analysis imports
130a0b12717f
Actions

Tags

None

Subscribers

None

Description

more selective Analysis imports

Details

Provenance

Authored on

Parents

rAFPe2a39a672da2: tuned Analysis imports

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (8)

Path

Size

thys/

First_Welfare_Theorem/

Microeconomics/

Arrow_Debreu_Model.thy

Ptolemys_Theorem/

Ptolemys_Theorem.thy

Tarskis_Geometry/

Triangle/

UpDown_Scheme/

Triangular_Function.thy

pGCL/

rAFP130a0b12717f

thys/First_Welfare_Theorem/Microeconomics/Arrow_Debreu_Model.thy

Loading...

thys/Ptolemys_Theorem/Ptolemys_Theorem.thy

Loading...

thys/Tarskis_Geometry/Metric.thy

Loading...

thys/Triangle/Angles.thy

Loading...

thys/Triangle/Triangle.thy

Loading...

thys/UpDown_Scheme/Grid_Point.thy

Loading...

thys/UpDown_Scheme/Triangular_Function.thy

Loading...

thys/pGCL/Misc.thy

Loading...