# HG changeset patch
# User wenzelm
# Date 1608498287 -3600
# Node ID f931a2a68ab822b85a88e2451a6359d4c5496cbc
# Parent  b7c9d6e4823770d5a09c0f49e28e1a525f383081
tuned comments;

diff -r b7c9d6e48237 -r f931a2a68ab8 src/Tools/Argo/argo_proof.ML
--- a/src/Tools/Argo/argo_proof.ML	Sun Dec 20 20:49:43 2020 +0100
+++ b/src/Tools/Argo/argo_proof.ML	Sun Dec 20 22:04:47 2020 +0100
@@ -7,7 +7,7 @@
 
 The proof language is inspired by:
 
-  Leonardo  de  Moura  and  Nikolaj  Bj/orner. Proofs and Refutations, and Z3. In
+  Leonardo de Moura and Nikolaj Bjørner. Proofs and Refutations, and Z3. In
   Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof
   Assistants, and the 7th International Workshop on the Implementation of Logics,
   volume 418 of CEUR Workshop Proceedings. CEUR-WS.org, 2008.
diff -r b7c9d6e48237 -r f931a2a68ab8 src/Tools/Argo/argo_thy.ML
--- a/src/Tools/Argo/argo_thy.ML	Sun Dec 20 20:49:43 2020 +0100
+++ b/src/Tools/Argo/argo_thy.ML	Sun Dec 20 22:04:47 2020 +0100
@@ -9,7 +9,7 @@
   Greg Nelson and Derek C. Oppen. Simplification by cooperating decision procedures. In ACM
   Transactions on Programming Languages and Systems, 1(2):245-257, 1979.
 
-  Leonardo de Moura and Nikolaj Bj/orner. Model-based Theory Combination. In Electronic Notes
+  Leonardo de Moura and Nikolaj Bjørner. Model-based Theory Combination. In Electronic Notes
   in Theoretical Computer Science, volume 198(2), pages 37-49, 2008.
 *)