Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge from afp-2017
  2. update document info from metadata
  3. new entry: Green's theorem
Changeset 8734:d6d9bfe1924c by kleing:
merge from afp-2017
Changeset 8733:301976fe14c4 by gerwin.klein@data61.csiro.au:
update document info from metadata
The file was modified thys/Green/document/root.tex (diff)
Changeset 8732:9c0163176b86 by gerwin.klein@data61.csiro.au:
new entry: Green's theorem
The file was addedthys/Green/CircExample.thy
The file was addedthys/Green/Derivs.thy
The file was addedthys/Green/DiamExample.thy
The file was addedthys/Green/General_Utils.thy
The file was addedthys/Green/Green.thy
The file was addedthys/Green/Integrals.thy
The file was addedthys/Green/PairToEuclidIntegral.thy
The file was addedthys/Green/Paths.thy
The file was addedthys/Green/ROOT
The file was addedthys/Green/SymmetricR2Shapes.thy
The file was addedthys/Green/document/root.tex
The file was addedweb/entries/Green.html
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/entries/Source_Coding_Theorem.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)