updated Complete_Lattices;
authorwenzelm
Sun Sep 18 14:55:27 2011 +0200 (2011-09-18)
changeset 44969c56a40059258
parent 44968 52744e144432
child 44970 52f809bc5402
updated Complete_Lattices;
doc-src/Main/Docs/Main_Doc.thy
     1.1 --- a/doc-src/Main/Docs/Main_Doc.thy	Sun Sep 18 14:48:25 2011 +0200
     1.2 +++ b/doc-src/Main/Docs/Main_Doc.thy	Sun Sep 18 14:55:27 2011 +0200
     1.3 @@ -82,8 +82,8 @@
     1.4  \begin{tabular}{@ {} l @ {~::~} l @ {}}
     1.5  @{const Lattices.inf} & @{typeof Lattices.inf}\\
     1.6  @{const Lattices.sup} & @{typeof Lattices.sup}\\
     1.7 -@{const Complete_Lattice.Inf} & @{term_type_only Complete_Lattice.Inf "'a set \<Rightarrow> 'a::Inf"}\\
     1.8 -@{const Complete_Lattice.Sup} & @{term_type_only Complete_Lattice.Sup "'a set \<Rightarrow> 'a::Sup"}\\
     1.9 +@{const Complete_Lattices.Inf} & @{term_type_only Complete_Lattices.Inf "'a set \<Rightarrow> 'a::Inf"}\\
    1.10 +@{const Complete_Lattices.Sup} & @{term_type_only Complete_Lattices.Sup "'a set \<Rightarrow> 'a::Sup"}\\
    1.11  \end{tabular}
    1.12  
    1.13  \subsubsection*{Syntax}