Changes

Summary

Changeset 68125:2e5b737810a6 by nipkow: announce sorted changes
The file was modified	`NEWS` (diff)
The file was modified	`src/HOL/Data_Structures/Sorted_Less.thy` (diff)
The file was modified	`src/HOL/List.thy` (diff)