Changes

Summary

merge from afp-2017
strongly encourage, but do not prescribe one session per entry
new entry: Pell
New entry Localization_Ring
New article Projective_Geometry

Changeset 9459:3399b2d2a273 by kleing: merge from afp-2017
Changeset 9458:05dd7315e382 by gerwin.klein@data61.csiro.au: strongly encourage, but do not prescribe one session per entry
The file was modified	`admin/sitegen-lib/templates/submitting.tpl` (diff)
The file was modified	`thys/Example-Submission/ROOT` (diff)
The file was modified	`web/submitting.html` (diff)
Changeset 9457:4aadc6c4e742 by gerwin.klein@data61.csiro.au: new entry: Pell
The file was added	`thys/Pell/Efficient_Discrete_Sqrt.thy`
The file was added	`thys/Pell/Pell.thy`
The file was added	`thys/Pell/Pell_Algorithm.thy`
The file was added	`thys/Pell/Pell_Algorithm_Test.thy`
The file was added	`thys/Pell/ROOT`
The file was added	`thys/Pell/document/root.bib`
The file was added	`thys/Pell/document/root.tex`
The file was added	`web/entries/Pell.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 9456:59e4012022d5 by nipkow: New entry Localization_Ring
The file was added	`thys/Localization_Ring/Localization.thy`
The file was added	`thys/Localization_Ring/ROOT`
The file was added	`thys/Localization_Ring/document/root.bib`
The file was added	`thys/Localization_Ring/document/root.tex`
The file was added	`web/entries/Localization_Ring.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 9455:e46b6d5fd00f by nipkow: New article Projective_Geometry
The file was added	`thys/Projective_Geometry/Desargues_2D.thy`
The file was added	`thys/Projective_Geometry/Desargues_3D.thy`
The file was added	`thys/Projective_Geometry/Desargues_Property.thy`
The file was added	`thys/Projective_Geometry/Higher_Projective_Space_Axioms.thy`
The file was added	`thys/Projective_Geometry/Higher_Projective_Space_Rank_Axioms.thy`
The file was added	`thys/Projective_Geometry/Matroid_Rank_Properties.thy`
The file was added	`thys/Projective_Geometry/Pappus_Desargues.thy`
The file was added	`thys/Projective_Geometry/Pappus_Property.thy`
The file was added	`thys/Projective_Geometry/Pascal_Property.thy`
The file was added	`thys/Projective_Geometry/Projective_Plane_Axioms.thy`
The file was added	`thys/Projective_Geometry/Projective_Space_Axioms.thy`
The file was added	`thys/Projective_Geometry/ROOT`
The file was added	`thys/Projective_Geometry/document/root.bib`
The file was added	`thys/Projective_Geometry/document/root.tex`
The file was added	`web/entries/Projective_Geometry.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)