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)