equal
deleted
inserted
replaced
131 |
131 |
132 definition products :: "nat set => nat set => nat set" |
132 definition products :: "nat set => nat set => nat set" |
133 where |
133 where |
134 "products A B = {c. \<exists>a b. a \<in> A \<and> b \<in> B \<and> c = a * b}" |
134 "products A B = {c. \<exists>a b. a \<in> A \<and> b \<in> B \<and> c = a * b}" |
135 |
135 |
136 export_code products in Haskell |
136 export_code union common_subsets products checking SML |
137 |
|
138 export_code union common_subsets products in Haskell |
|
139 |
137 |
140 end |
138 end |