missing name
authornipkow
Fri Sep 07 21:30:55 2018 +0200 (10 months ago)
changeset 68934b825fa94fe56
parent 68933 f50d98a0e140
child 68937 cbf5475a0f66
missing name
src/HOL/Data_Structures/Sorting.thy
     1.1 --- a/src/HOL/Data_Structures/Sorting.thy	Fri Sep 07 20:15:17 2018 +0200
     1.2 +++ b/src/HOL/Data_Structures/Sorting.thy	Fri Sep 07 21:30:55 2018 +0200
     1.3 @@ -44,7 +44,7 @@
     1.4  apply(auto simp add: set_insort)
     1.5  done
     1.6  
     1.7 -lemma "sorted (isort xs)"
     1.8 +lemma sorted_isort: "sorted (isort xs)"
     1.9  apply(induction xs)
    1.10  apply(auto simp: sorted_insort)
    1.11  done