--- a/src/Doc/Main/Main_Doc.thy Mon Oct 17 19:55:56 2016 +0200
+++ b/src/Doc/Main/Main_Doc.thy Tue Oct 18 07:04:08 2016 +0200
@@ -403,11 +403,16 @@
\section*{Finite\_Set}
-
\begin{supertabular}{@ {} l @ {~::~} l @ {}}
@{const Finite_Set.finite} & @{term_type_only Finite_Set.finite "'a set\<Rightarrow>bool"}\\
@{const Finite_Set.card} & @{term_type_only Finite_Set.card "'a set \<Rightarrow> nat"}\\
@{const Finite_Set.fold} & @{term_type_only Finite_Set.fold "('a \<Rightarrow> 'b \<Rightarrow> 'b) \<Rightarrow> 'b \<Rightarrow> 'a set \<Rightarrow> 'b"}\\
+\end{supertabular}
+
+
+\section*{Groups\_Big}
+
+\begin{supertabular}{@ {} l @ {~::~} l @ {}}
@{const Groups_Big.sum} & @{term_type_only Groups_Big.sum "('a \<Rightarrow> 'b) \<Rightarrow> 'a set \<Rightarrow> 'b::comm_monoid_add"}\\
@{const Groups_Big.prod} & @{term_type_only Groups_Big.prod "('a \<Rightarrow> 'b) \<Rightarrow> 'a set \<Rightarrow> 'b::comm_monoid_mult"}\\
\end{supertabular}