Changes

Summary

Buildings: adjust for isabelle bf2cf0653741
merge from afp-2016
new entry `Buildings`
tuned
New entry Resolution_FOL
New entry Rewriting_Z

Changeset 6844:27154744ad92 by kleing: Buildings: adjust for isabelle bf2cf0653741
The file was modified	`thys/Buildings/Algebra.thy` (diff)
The file was modified	`thys/Buildings/Chamber.thy` (diff)
The file was modified	`thys/Buildings/Coxeter.thy` (diff)
The file was modified	`thys/Buildings/Prelim.thy` (diff)
The file was modified	`thys/Buildings/Simplicial.thy` (diff)
Changeset 6843:a6f48ba8301b by kleing: merge from afp-2016
Changeset 6842:f9156355e741 by gerwin.klein@nicta.com.au: new entry `Buildings`
The file was added	`thys/Buildings/Algebra.thy`
The file was added	`thys/Buildings/Building.thy`
The file was added	`thys/Buildings/Chamber.thy`
The file was added	`thys/Buildings/Coxeter.thy`
The file was added	`thys/Buildings/Prelim.thy`
The file was added	`thys/Buildings/ROOT`
The file was added	`thys/Buildings/Simplicial.thy`
The file was added	`thys/Buildings/document/root.bib`
The file was added	`thys/Buildings/document/root.tex`
The file was added	`web/entries/Buildings.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)
Changeset 6841:df2c5df08f7e by nipkow: tuned
The file was modified	`metadata/metadata` (diff)
The file was modified	`web/entries/Resolution_FOL.shtml` (diff)
Changeset 6840:8d2e82b7c8bc by nipkow: New entry Resolution_FOL
The file was added	`thys/Resolution_FOL/Completeness.thy`
The file was added	`thys/Resolution_FOL/Examples.thy`
The file was added	`thys/Resolution_FOL/ROOT`
The file was added	`thys/Resolution_FOL/Resolution.thy`
The file was added	`thys/Resolution_FOL/TermsAndLiterals.thy`
The file was added	`thys/Resolution_FOL/Tree.thy`
The file was added	`thys/Resolution_FOL/document/root.bib`
The file was added	`thys/Resolution_FOL/document/root.tex`
The file was added	`web/entries/Resolution_FOL.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)
Changeset 6839:17033f7b5242 by nipkow: New entry Rewriting_Z
The file was added	`thys/Rewriting_Z/CL_Z.thy`
The file was added	`thys/Rewriting_Z/Lambda_Z.thy`
The file was added	`thys/Rewriting_Z/ROOT`
The file was added	`thys/Rewriting_Z/Z.thy`
The file was added	`thys/Rewriting_Z/document/root.bib`
The file was added	`thys/Rewriting_Z/document/root.tex`
The file was added	`web/entries/Rewriting_Z.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)
The file was modified	`web/entries/Abstract-Rewriting.shtml` (diff)
The file was modified	`web/entries/Nominal2.shtml` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)