--- a/src/HOL/ROOT Sun Nov 01 15:31:41 2020 +0100
+++ b/src/HOL/ROOT Sun Nov 01 16:54:49 2020 +0100
@@ -681,6 +681,7 @@
Simps_Case_Conv_Examples
Sketch_and_Explore
Sorting_Algorithms_Examples
+ Specifications_with_bundle_mixins
Sqrt
Sqrt_Script
Sudoku