changeset 54934 | 4587de627cd8 |
parent 54611 | 31afce809794 |
--- a/src/HOL/ex/Set_Comprehension_Pointfree_Tests.thy Mon Jan 06 09:31:21 2014 +0100 +++ b/src/HOL/ex/Set_Comprehension_Pointfree_Tests.thy Mon Jan 06 19:55:01 2014 +0100 @@ -133,8 +133,8 @@ where "products A B = {c. EX a b. a : A & b : B & c = a * b}" -export_code products in Haskell file - +export_code products in Haskell -export_code union common_subsets products in Haskell file - +export_code union common_subsets products in Haskell end