Summary
- merge from afp-2017
- update document info from metadata
- new entry: Green's theorem
The file was modified | thys/Green/document/root.tex (diff) |
The file was added | thys/Green/CircExample.thy |
The file was added | thys/Green/Derivs.thy |
The file was added | thys/Green/DiamExample.thy |
The file was added | thys/Green/General_Utils.thy |
The file was added | thys/Green/Green.thy |
The file was added | thys/Green/Integrals.thy |
The file was added | thys/Green/PairToEuclidIntegral.thy |
The file was added | thys/Green/Paths.thy |
The file was added | thys/Green/ROOT |
The file was added | thys/Green/SymmetricR2Shapes.thy |
The file was added | thys/Green/document/root.tex |
The file was added | web/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) |