--- 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.
*)