src/HOL/Library/Multiset_Order.thy

--- a/src/HOL/Library/Multiset_Order.thy	Mon May 08 11:27:03 2023 +0200
+++ b/src/HOL/Library/Multiset_Order.thy	Mon May 08 11:27:11 2023 +0200
@@ -1,6 +1,7 @@
 (*  Title:      HOL/Library/Multiset_Order.thy
     Author:     Dmitriy Traytel, TU Muenchen
     Author:     Jasmin Blanchette, Inria, LORIA, MPII
+    Author:     Martin Desharnais, MPI-INF Saarbruecken
 *)
 
 section \<open>More Theorems about the Multiset Order\<close>