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_thy.ML
changeset 72966 f931a2a68ab8
parent 64927 a5a09855e424 
--- 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.
 *)
isabelle