Changes

Summary

Changeset 7161:8d0eeffbbabf by paulson _lp15@cam.ac.uk_: Lambda_Free_RPOs webpage
The file was added	`web/entries/Lambda_Free_RPOs.shtml`
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)
Changeset 7160:f22e2febb2eb by paulson _lp15@cam.ac.uk_: Merge
Changeset 7159:cf12c3158ee7 by paulson _lp15@cam.ac.uk_: Lambda_Free_RPOs
The file was added	`thys/Lambda_Free_RPOs/Extension_Orders.thy`
The file was added	`thys/Lambda_Free_RPOs/Infinite_Chain.thy`
The file was added	`thys/Lambda_Free_RPOs/Lambda_Free_RPO_App.thy`
The file was added	`thys/Lambda_Free_RPOs/Lambda_Free_RPO_New.thy`
The file was added	`thys/Lambda_Free_RPOs/Lambda_Free_RPO_Optim.thy`
The file was added	`thys/Lambda_Free_RPOs/Lambda_Free_RPOs.thy`
The file was added	`thys/Lambda_Free_RPOs/Lambda_Free_Term.thy`
The file was added	`thys/Lambda_Free_RPOs/Lambda_Free_Util.thy`
The file was added	`thys/Lambda_Free_RPOs/README`
The file was added	`thys/Lambda_Free_RPOs/ROOT`
The file was added	`thys/Lambda_Free_RPOs/document/root.tex`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)