merged
authorwenzelm
Mon, 06 Jan 2014 23:00:11 +0100
changeset 54940 a20b105bb5d1
parent 54934 4587de627cd8 (diff)
parent 54939 b411e99d1581 (current diff)
child 54941 6d99745afe34
merged
etc/proofgeneral-settings.el
etc/user-settings.sample
--- 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