Changes

Summary

Changeset 7205:31c6761d7ade by lukas bulwahn _lukas.bulwahn@gmail.com_: adjust Chord_Segments entry to current afp-devel
The file was modified	`thys/Chord_Segments/Chord_Segments.thy` (diff)