tuned comments;
authorwenzelm
Sun, 20 Dec 2020 22:04:47 +0100
changeset 72966 f931a2a68ab8
parent 72965 b7c9d6e48237
child 72968 5fa7f098ded5
tuned comments;
src/Tools/Argo/argo_proof.ML
src/Tools/Argo/argo_thy.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.
--- 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.
 *)