Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Argo/argo_proof.ML
changeset 72966 f931a2a68ab8
parent 70586 57df8a85317a 
--- 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.
isabelle