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.
tuned;
authorwenzelm
Wed, 25 Aug 2021 17:27:40 +0200
changeset 74195 30e2e44baa57
parent 74194 ffe24c7da1c6
child 74196 6dc7ff326906
tuned;
src/Tools/Haskell/Haskell.thy file | annotate | diff | comparison | revisions 
--- a/src/Tools/Haskell/Haskell.thy	Wed Aug 25 17:24:45 2021 +0200
+++ b/src/Tools/Haskell/Haskell.thy	Wed Aug 25 17:27:40 2021 +0200
@@ -2162,7 +2162,7 @@
 
 {- context for used names -}
 
-data Context = Context (Set Name)
+newtype Context = Context (Set Name)
 
 declare :: Name -> Context -> Context
 declare x (Context names) = Context (Set.insert x names)
isabelle