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.
tuned
authornipkow
Tue, 12 Feb 2013 21:35:40 +0100
changeset 51038 73ddb9e6f6e8
parent 51037 0a6d84c41dbf
child 51039 3775bf0ea5b8
tuned
src/Doc/ProgProve/Logic.thy file | annotate | diff | comparison | revisions 
--- a/src/Doc/ProgProve/Logic.thy	Tue Feb 12 12:22:44 2013 +0100
+++ b/src/Doc/ProgProve/Logic.thy	Tue Feb 12 21:35:40 2013 +0100
@@ -72,6 +72,7 @@
 \end{warn}
 
 \subsection{Sets}
+\label{sec:Sets}
 
 Sets of elements of type @{typ 'a} have type @{typ"'a set"}.
 They can be finite or infinite. Sets come with the usual notation:
isabelle