src/HOL/ROOT
changeset 69252 fc359b60121c
parent 69145 806be481aa57
child 69272 15e9ed5b28fb
     1.1 --- a/src/HOL/ROOT	Wed Nov 07 11:08:11 2018 +0000
     1.2 +++ b/src/HOL/ROOT	Wed Nov 07 11:08:12 2018 +0000
     1.3 @@ -613,6 +613,7 @@
     1.4      Set_Theory
     1.5      Simproc_Tests
     1.6      Simps_Case_Conv_Examples
     1.7 +    Sorting_Algorithms_Examples
     1.8      Sqrt
     1.9      Sqrt_Script
    1.10      Sudoku