Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge from afp-2016-1
  2. First_Welfare_Theorem webpage
  3. Kaliszyk's webpage
  4. new entry First_Welfare_Theorem
  5. New entry Orbit_Stabiliser
  6. new entry LambdaMu
  7. New entry: Root-Balanced Tree
Changeset 8268:24259b122d12 by kleing:
merge from afp-2016-1
Changeset 8267:afb1e1e59080 by paulson _lp15@cam.ac.uk_:
First_Welfare_Theorem webpage
The file was addedweb/entries/First_Welfare_Theorem.html
The file was modified metadata/metadata (diff)
The file was modified thys/First_Welfare_Theorem/document/root.tex (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)
Changeset 8266:ce9168fea5ce by paulson _lp15@cam.ac.uk_:
Kaliszyk's webpage
The file was modified web/entries/Nominal2.html (diff)
Changeset 8265:431ace0c9f48 by paulson _lp15@cam.ac.uk_:
new entry First_Welfare_Theorem
The file was addedthys/First_Welfare_Theorem/Argmax.thy
The file was addedthys/First_Welfare_Theorem/Consumers.thy
The file was addedthys/First_Welfare_Theorem/Exchange_Economy.thy
The file was addedthys/First_Welfare_Theorem/Preferences.thy
The file was addedthys/First_Welfare_Theorem/Private_Ownership_Economy.thy
The file was addedthys/First_Welfare_Theorem/ROOT
The file was addedthys/First_Welfare_Theorem/Syntax.thy
The file was addedthys/First_Welfare_Theorem/Utility_Functions.thy
The file was addedthys/First_Welfare_Theorem/document/root.bib
The file was addedthys/First_Welfare_Theorem/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 8264:49bebebd86ef by nipkow:
New entry Orbit_Stabiliser
The file was addedthys/Orbit_Stabiliser/Left_Coset.thy
The file was addedthys/Orbit_Stabiliser/Orbit_Stabiliser.thy
The file was addedthys/Orbit_Stabiliser/ROOT
The file was addedthys/Orbit_Stabiliser/Tetrahedron.thy
The file was addedthys/Orbit_Stabiliser/document/root.bib
The file was addedthys/Orbit_Stabiliser/document/root.tex
The file was addedweb/entries/Orbit_Stabiliser.html
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)
Changeset 8263:e6f7d7a80434 by nipkow:
new entry LambdaMu
The file was addedthys/LambdaMu/ContextFacts.thy
The file was addedthys/LambdaMu/DeBruijn.thy
The file was addedthys/LambdaMu/Peirce.thy
The file was addedthys/LambdaMu/Progress.thy
The file was addedthys/LambdaMu/ROOT
The file was addedthys/LambdaMu/Reduction.thy
The file was addedthys/LambdaMu/Substitution.thy
The file was addedthys/LambdaMu/Syntax.thy
The file was addedthys/LambdaMu/TypePreservation.thy
The file was addedthys/LambdaMu/Types.thy
The file was addedthys/LambdaMu/document/root.bib
The file was addedthys/LambdaMu/document/root.tex
The file was addedweb/entries/LambdaMu.html
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/entries/Algebraic_VCs.html (diff)
The file was modified web/entries/CRDT.html (diff)
The file was modified web/entries/KAD.html (diff)
The file was modified web/entries/KAT_and_DRA.html (diff)
The file was modified web/entries/PSemigroupsConvolution.html (diff)
The file was modified web/entries/Residuated_Lattices.html (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)
Changeset 8262:91f8352dfbc4 by nipkow:
New entry: Root-Balanced Tree
The file was addedthys/Root_Balanced_Tree/Balance.thy
The file was addedthys/Root_Balanced_Tree/ROOT
The file was addedthys/Root_Balanced_Tree/Root_Balanced_Tree.thy
The file was addedthys/Root_Balanced_Tree/Root_Balanced_Tree_Tab.thy
The file was addedthys/Root_Balanced_Tree/Time_Monad.thy
The file was addedthys/Root_Balanced_Tree/document/root.bib
The file was addedthys/Root_Balanced_Tree/document/root.tex
The file was addedweb/entries/Root_Balanced_Tree.html
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/entries/Amortized_Complexity.html (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)