Diffusion afp-devel e2a39a672da2

tuned Analysis imports
e2a39a672da2
Actions

Tags

None

Subscribers

None

Description

tuned Analysis imports

Details

Provenance

Authored on

Parents

rAFP770bcb8c1b45: fixed imports

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (4)

Path

Size

thys/

First_Welfare_Theorem/

Microeconomics/

Exchange_Economy.thy

Private_Ownership_Economy.thy

rAFPe2a39a672da2

thys/First_Welfare_Theorem/Microeconomics/Common.thy

Loading...

thys/First_Welfare_Theorem/Microeconomics/Consumers.thy

Loading...

thys/First_Welfare_Theorem/Microeconomics/Exchange_Economy.thy

Loading...

thys/First_Welfare_Theorem/Microeconomics/Private_Ownership_Economy.thy

Loading...