# HG changeset patch
# User nipkow
# Date 1536813360 -7200
# Node ID caedabd2771c0e18fb817613567ed3ca20cf66af
# Parent  5717fbc555219b286d14fb770bc161fbbd3feea1
typo

diff -r 5717fbc55521 -r caedabd2771c src/HOL/Library/Multiset.thy
--- a/src/HOL/Library/Multiset.thy	Wed Sep 12 18:44:31 2018 +0200
+++ b/src/HOL/Library/Multiset.thy	Thu Sep 13 06:36:00 2018 +0200
@@ -2652,7 +2652,7 @@
     @ sort [x\<leftarrow>xs. x > xs ! (length xs div 2)]" (is "sort ?lhs = ?rhs")
   using sort_key_by_quicksort [of "\<lambda>x. x", symmetric] by simp
 
-text \<open>A stable parametrized quicksort\<close>
+text \<open>A stable parameterized quicksort\<close>
 
 definition part :: "('b \<Rightarrow> 'a) \<Rightarrow> 'a \<Rightarrow> 'b list \<Rightarrow> 'b list \<times> 'b list \<times> 'b list" where
   "part f pivot xs = ([x \<leftarrow> xs. f x < pivot], [x \<leftarrow> xs. f x = pivot], [x \<leftarrow> xs. pivot < f x])"