Changes

Summary

sync website
new devel entry Partial_Order_Reduction

Changeset 9364:b41cab9c9edd by kleing: sync website
The file was added	`web/entries/Partial_Order_Reduction.html`
The file was modified	`web/entries/Category3.html` (diff)
The file was modified	`web/entries/Coinductive.html` (diff)
The file was modified	`web/entries/Ergodic_Theory.html` (diff)
The file was modified	`web/entries/Gromov_Hyperbolicity.html` (diff)
The file was modified	`web/entries/MonoidalCategory.html` (diff)
The file was modified	`web/entries/Stuttering_Equivalence.html` (diff)
The file was modified	`web/entries/Transition_Systems_and_Automata.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 9363:69dec239b08a by kleing: new devel entry Partial_Order_Reduction
The file was added	`thys/Partial_Order_Reduction/Ample_Abstract.thy`
The file was added	`thys/Partial_Order_Reduction/Ample_Analysis.thy`
The file was added	`thys/Partial_Order_Reduction/Ample_Correctness.thy`
The file was added	`thys/Partial_Order_Reduction/Basics/Functions.thy`
The file was added	`thys/Partial_Order_Reduction/Basics/LList_Prefixes.thy`
The file was added	`thys/Partial_Order_Reduction/Basics/List_Prefixes.thy`
The file was added	`thys/Partial_Order_Reduction/Basics/Stuttering.thy`
The file was added	`thys/Partial_Order_Reduction/Basics/Word_Prefixes.thy`
The file was added	`thys/Partial_Order_Reduction/Extensions/Basic_Extensions.thy`
The file was added	`thys/Partial_Order_Reduction/Extensions/CCPO_Extensions.thy`
The file was added	`thys/Partial_Order_Reduction/Extensions/Coinductive_List_Extensions.thy`
The file was added	`thys/Partial_Order_Reduction/Extensions/ENat_Extensions.thy`
The file was added	`thys/Partial_Order_Reduction/Extensions/ESet_Extensions.thy`
The file was added	`thys/Partial_Order_Reduction/Extensions/List_Extensions.thy`
The file was added	`thys/Partial_Order_Reduction/Extensions/Nondeterminism.thy`
The file was added	`thys/Partial_Order_Reduction/Extensions/Refine_Monadic_Extensions.thy`
The file was added	`thys/Partial_Order_Reduction/Extensions/Relation_Extensions.thy`
The file was added	`thys/Partial_Order_Reduction/Extensions/Set_Extensions.thy`
The file was added	`thys/Partial_Order_Reduction/Extensions/Word_Extensions.thy`
The file was added	`thys/Partial_Order_Reduction/Formula.thy`
The file was added	`thys/Partial_Order_Reduction/ROOT`
The file was added	`thys/Partial_Order_Reduction/Traces.thy`
The file was added	`thys/Partial_Order_Reduction/Transition_System_Extensions.thy`
The file was added	`thys/Partial_Order_Reduction/Transition_System_Interpreted_Traces.thy`
The file was added	`thys/Partial_Order_Reduction/Transition_System_Traces.thy`
The file was added	`thys/Partial_Order_Reduction/document/root.bib`
The file was added	`thys/Partial_Order_Reduction/document/root.tex`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)