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.
spelling
authorhaftmann
Fri, 28 Mar 2025 14:13:36 +0100
changeset 82373 2819f79792b9
parent 82372 2db8a047b52c
child 82374 2d0721461810
spelling
src/Tools/nbe.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/nbe.ML	Fri Mar 28 16:37:58 2025 +0100
+++ b/src/Tools/nbe.ML	Fri Mar 28 14:13:36 2025 +0100
@@ -153,7 +153,7 @@
 (** the semantic universe **)
 
 (*
-   Functions are given by their semantical function value. To avoid
+   Functions are given by their semantic function value. To avoid
    trouble with the ML-type system, these functions have the most
    generic type, that is "Univ list -> Univ". The calling convention is
    that the arguments come as a list, the last argument first. In
isabelle