--- a/CONTRIBUTORS Fri Jul 01 20:47:16 2022 +0200
+++ b/CONTRIBUTORS Mon Jul 04 07:57:22 2022 +0000
@@ -17,6 +17,11 @@
code generation: type annotations in pattern bindings are printed in a
way suitable for Scala 3.
+* July 2022: Florian Haftmann, TU München and René Thiemann, UIBK
+ Theory Code_Abstract_Char implements characters by target language
+ integers, sacrificing pattern patching in exchange for dramatically
+ increased performance for comparisions.
+
Contributions to Isabelle2021-1
-------------------------------