Changes

Summary

Changeset 7477:c3ed72e87f65 by blanchet: tuning
The file was modified	`thys/Lambda_Free_KBOs/Lambda_Free_KBO_App.thy` (diff)
The file was modified	`thys/Lambda_Free_KBOs/Lambda_Free_KBOs.thy` (diff)
The file was modified	`thys/Lambda_Free_RPOs/Lambda_Free_RPOs.thy` (diff)