author | wenzelm |
Mon, 06 Jan 2014 23:00:11 +0100 | |
changeset 54940 | a20b105bb5d1 |
parent 54934 | 4587de627cd8 (diff) |
parent 54939 | b411e99d1581 (current diff) |
child 54941 | 6d99745afe34 |
etc/proofgeneral-settings.el | file | annotate | diff | comparison | revisions | |
etc/user-settings.sample | file | annotate | diff | comparison | revisions |
--- a/src/HOL/ex/Set_Comprehension_Pointfree_Tests.thy Mon Jan 06 19:59:43 2014 +0100 +++ b/src/HOL/ex/Set_Comprehension_Pointfree_Tests.thy Mon Jan 06 23:00:11 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