Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Typo.
authorhaftmann
Sat, 17 Dec 2022 10:12:03 +0100
changeset 76659 2afbd514b654
parent 76658 e60fd6257abe
child 76660 89f78f76df1c
Typo.
src/Doc/Codegen/Computations.thy file | annotate | diff | comparison | revisions 
--- a/src/Doc/Codegen/Computations.thy	Fri Dec 16 20:14:41 2022 +0100
+++ b/src/Doc/Codegen/Computations.thy	Sat Dec 17 10:12:03 2022 +0100
@@ -241,7 +241,7 @@
 subsection \<open>Pitfalls concerning input terms\<close>
 
 text \<open>
-    \<^descr> \<open>No polymorphims.\<close> Input terms must be monomorphic: compilation
+    \<^descr> \<open>No polymorphism.\<close> Input terms must be monomorphic: compilation
       to ML requires dedicated choice of monomorphic types.
 
     \<^descr> \<open>No abstractions.\<close> Only constants and applications are admissible
isabelle