dropped legacy
authorhaftmann
Mon Jan 06 19:55:01 2014 +0100 (2014-01-06 ago)
changeset 549344587de627cd8
parent 54933 45624a38109f
child 54940 a20b105bb5d1
dropped legacy
src/HOL/ex/Set_Comprehension_Pointfree_Tests.thy
     1.1 --- a/src/HOL/ex/Set_Comprehension_Pointfree_Tests.thy	Mon Jan 06 09:31:21 2014 +0100
     1.2 +++ b/src/HOL/ex/Set_Comprehension_Pointfree_Tests.thy	Mon Jan 06 19:55:01 2014 +0100
     1.3 @@ -133,8 +133,8 @@
     1.4  where
     1.5    "products A B = {c. EX a b. a : A & b : B & c = a * b}"
     1.6  
     1.7 -export_code products in Haskell file -
     1.8 +export_code products in Haskell
     1.9  
    1.10 -export_code union common_subsets products in Haskell file -
    1.11 +export_code union common_subsets products in Haskell
    1.12  
    1.13  end