Changes

Summary

moved splay heaps into Splay_Tree
merged
fixed latex error; tuned

Changeset 6909:d093fbdf838f by nipkow: moved splay heaps into Splay_Tree
The file was added	`thys/Amortized_Complexity/Splay_Heap_Analysis.thy`
The file was added	`thys/Amortized_Complexity/Splay_Heap_Analysis2.thy`
The file was added	`thys/Splay_Tree/Splay_Heap.thy`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/Amortized_Complexity/ROOT` (diff)
The file was modified	`thys/Splay_Tree/ROOT` (diff)
The file was modified	`thys/Splay_Tree/document/root.bib` (diff)
The file was modified	`thys/Splay_Tree/document/root.tex` (diff)
The file was modified	`web/entries/Amortized_Complexity.shtml` (diff)
The file was modified	`web/entries/Deriving.shtml` (diff)
The file was modified	`web/entries/Descartes_Sign_Rule.shtml` (diff)
The file was modified	`web/entries/Liouville_Numbers.shtml` (diff)
The file was modified	`web/entries/Max-Card-Matching.shtml` (diff)
The file was modified	`web/entries/Prime_Harmonic_Series.shtml` (diff)
The file was modified	`web/entries/Splay_Tree.shtml` (diff)
The file was modified	`web/entries/Transitive-Closure-II.shtml` (diff)
The file was modified	`web/entries/Triangle.shtml` (diff)
The file was removed	`thys/Amortized_Complexity/Splay_Heap.thy`
The file was removed	`thys/Amortized_Complexity/Splay_Heap2.thy`
Changeset 6908:db34df20ead1 by nipkow: merged
Changeset 6907:29f8c3a44738 by nipkow: fixed latex error; tuned
The file was modified	`thys/Amortized_Complexity/Skew_Heap_Analysis2.thy` (diff)
The file was modified	`thys/List_Update/BIT_2comp_on2.thy` (diff)