# HG changeset patch
# User desharna
# Date 1683538031 -7200
# Node ID 515a69e976c3957a3c3b9a409af5b245e9843b78
# Parent  b867eb037e7fc0cc261688f01d7b1387b17e1255
added author

diff -r b867eb037e7f -r 515a69e976c3 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>