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/Doc/Functions/Functions.thy
changeset 76649 9a6cb5ecc183
parent 70276 910dc065b869
child 76987 4c275405faae 
--- a/src/Doc/Functions/Functions.thy	Fri Dec 16 09:55:22 2022 +0100
+++ b/src/Doc/Functions/Functions.thy	Fri Dec 16 18:11:03 2022 +0100
@@ -750,7 +750,7 @@
 termination by (relation "{}") simp
 
 
-section \<open>Partiality\<close>
+section \<open>Partiality \label{sec:partiality}\<close>
 
 text \<open>
   In HOL, all functions are total. A function \<^term>\<open>f\<close> applied to
isabelle