src/HOL/ROOT
changeset 58644 8171ef293634
parent 58630 71cdb885b3bb
child 58842 22b87ab47d3b
     1.1 --- a/src/HOL/ROOT	Thu Oct 09 16:47:56 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Fri Oct 10 18:23:59 2014 +0200
     1.3 @@ -562,6 +562,7 @@
     1.4      Arith_Examples
     1.5      BT
     1.6      Tree23
     1.7 +    Bubblesort
     1.8      MergeSort
     1.9      Lagrange
    1.10      Groebner_Examples