# HG changeset patch
# User desharna
# Date 1685087946 -7200
# Node ID 5c6db3d1b6026231353e6abb2b94333684fa0a9e
# Parent  2507859008169e0c80f692a49df57c358687c753
added author

diff -r 250785900816 -r 5c6db3d1b602 src/HOL/Library/FSet.thy
--- a/src/HOL/Library/FSet.thy	Fri May 26 09:56:20 2023 +0200
+++ b/src/HOL/Library/FSet.thy	Fri May 26 09:59:06 2023 +0200
@@ -2,6 +2,7 @@
     Author:     Ondrej Kuncar, TU Muenchen
     Author:     Cezary Kaliszyk and Christian Urban
     Author:     Andrei Popescu, TU Muenchen
+    Author:     Martin Desharnais, MPI-INF Saarbruecken
 *)
 
 section \<open>Type of finite sets defined as a subtype of sets\<close>