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
Tue, 31 Aug 2021 13:54:31 +0200
changeset 74218 8798edfc61ef
parent 74217 736374547a7f
child 74219 1d25be2353e1
child 74223 527088d4a89b
tuned;
src/Tools/Haskell/Haskell.thy file | annotate | diff | comparison | revisions 
--- a/src/Tools/Haskell/Haskell.thy	Mon Aug 30 21:45:05 2021 +0200
+++ b/src/Tools/Haskell/Haskell.thy	Tue Aug 31 13:54:31 2021 +0200
@@ -3297,7 +3297,7 @@
 import Isabelle.Library
 
 
-data Time = Time Int
+newtype Time = Time Int
 
 instance Eq Time where Time ms1 == Time ms2 = ms1 == ms2
 instance Ord Time where compare (Time ms1) (Time ms2) = compare ms1 ms2
isabelle