Changes

Summary

merge from afp-2017
finish processing Optimal_BST entry
new entry Optimal_BST
website for Irrationality_J_Hancl
new entry: Irrationality_J_Hancl

Changeset 9333:01c546b8665a by kleing: merge from afp-2017
Changeset 9332:ad023501ecb3 by gerwin.klein@data61.csiro.au: finish processing Optimal_BST entry
The file was added	`web/entries/Optimal_BST.html`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)
The file was modified	`web/entries/Monad_Memo_DP.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 9331:8d866b0ffb5e by nipkow: new entry Optimal_BST
The file was added	`thys/Optimal_BST/Optimal_BST.thy`
The file was added	`thys/Optimal_BST/Optimal_BST2.thy`
The file was added	`thys/Optimal_BST/Optimal_BST_Code.thy`
The file was added	`thys/Optimal_BST/Optimal_BST_Examples.thy`
The file was added	`thys/Optimal_BST/Optimal_BST_Memo.thy`
The file was added	`thys/Optimal_BST/Quadrilateral_Inequality.thy`
The file was added	`thys/Optimal_BST/ROOT`
The file was added	`thys/Optimal_BST/Weighted_Path_Length.thy`
The file was added	`thys/Optimal_BST/document/root.bib`
The file was added	`thys/Optimal_BST/document/root.tex`
Changeset 9330:42d3d04d8207 by rene thiemann _rene.thiemann@uibk.ac.at_: website for Irrationality_J_Hancl
The file was added	`web/entries/Irrationality_J_Hancl.html`
The file was modified	`metadata/metadata` (diff)
The file was modified	`web/entries/Count_Complex_Roots.html` (diff)
The file was modified	`web/entries/Koenigsberg_Friendship.html` (diff)
The file was modified	`web/entries/Sturm_Tarski.html` (diff)
The file was modified	`web/entries/Winding_Number_Eval.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 9329:c7f99a06ecdb by rene thiemann _rene.thiemann@uibk.ac.at_: new entry: Irrationality_J_Hancl
The file was added	`thys/Irrationality_J_Hancl/Irrationality_J_Hancl.thy`
The file was added	`thys/Irrationality_J_Hancl/ROOT`
The file was added	`thys/Irrationality_J_Hancl/document/root.bib`
The file was added	`thys/Irrationality_J_Hancl/document/root.tex`
The file was modified	`thys/ROOTS` (diff)