Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
dropped legacy
authorhaftmann
Mon, 06 Jan 2014 19:55:01 +0100
changeset 54934 4587de627cd8
parent 54933 45624a38109f
child 54940 a20b105bb5d1
dropped legacy
src/HOL/ex/Set_Comprehension_Pointfree_Tests.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle