1.1 --- a/doc-src/Main/Docs/Main_Doc.thy Wed Aug 11 11:52:40 2010 +0200
1.2 +++ b/doc-src/Main/Docs/Main_Doc.thy Wed Aug 11 11:56:57 2010 +0200
1.3 @@ -109,7 +109,7 @@
1.4 @{const Set.empty} & @{term_type_only "Set.empty" "'a set"}\\
1.5 @{const Set.insert} & @{term_type_only insert "'a\<Rightarrow>'a set\<Rightarrow>'a set"}\\
1.6 @{const Collect} & @{term_type_only Collect "('a\<Rightarrow>bool)\<Rightarrow>'a set"}\\
1.7 -@{const "op :"} & @{term_type_only "op :" "'a\<Rightarrow>'a set\<Rightarrow>bool"} & (\texttt{:})\\
1.8 +@{const Set.member} & @{term_type_only Set.member "'a\<Rightarrow>'a set\<Rightarrow>bool"} & (\texttt{:})\\
1.9 @{const Set.union} & @{term_type_only Set.union "'a set\<Rightarrow>'a set \<Rightarrow> 'a set"} & (\texttt{Un})\\
1.10 @{const Set.inter} & @{term_type_only Set.inter "'a set\<Rightarrow>'a set \<Rightarrow> 'a set"} & (\texttt{Int})\\
1.11 @{const UNION} & @{term_type_only UNION "'a set\<Rightarrow>('a \<Rightarrow> 'b set) \<Rightarrow> 'b set"}\\