Skip to content
Jenkins
log in
Dashboard
desharna
My Views
afp-repo
#1690
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
merge
removed files
Added lemmas, introduced Microeconomics folder and added Arrow_Debreu_Model theory file.
Changeset
9423:3fd6045c40c6
by
julian parsert _julian.parsert@uibk.ac.at_
:
merge
Changeset
9422:68211002f91e
by
julian parsert _julian.parsert@uibk.ac.at_
:
removed files
The file was removed
thys/First_Welfare_Theorem/Consumers.thy
The file was removed
thys/First_Welfare_Theorem/Exchange_Economy.thy
The file was removed
thys/First_Welfare_Theorem/Private_Ownership_Economy.thy
Changeset
9421:03c4d95ac1bb
by
julian parsert _julian.parsert@uibk.ac.at_
:
Added lemmas, introduced Microeconomics folder and added Arrow_Debreu_Model theory file.
The file was added
thys/First_Welfare_Theorem/Microeconomics/Arrow_Debreu_Model.thy
The file was added
thys/First_Welfare_Theorem/Microeconomics/Common.thy
The file was added
thys/First_Welfare_Theorem/Microeconomics/Consumers.thy
The file was added
thys/First_Welfare_Theorem/Microeconomics/Exchange_Economy.thy
The file was added
thys/First_Welfare_Theorem/Microeconomics/Private_Ownership_Economy.thy
The file was added
thys/First_Welfare_Theorem/Microeconomics/ROOTS
The file was modified
metadata/metadata
(diff)
The file was modified
thys/First_Welfare_Theorem/Argmax.thy
(diff)
The file was modified
thys/First_Welfare_Theorem/Preferences.thy
(diff)
The file was modified
thys/First_Welfare_Theorem/ROOT
(diff)
The file was modified
thys/First_Welfare_Theorem/Utility_Functions.thy
(diff)
The file was modified
thys/First_Welfare_Theorem/document/root.bib
(diff)
The file was modified
thys/First_Welfare_Theorem/document/root.tex
(diff)