# HG changeset patch # User wenzelm # Date 1630410871 -7200 # Node ID 8798edfc61efb4453c28fc3553dd5f617319306e # Parent 736374547a7f4b50f0abe073129717721da91f0d tuned; diff -r 736374547a7f -r 8798edfc61ef src/Tools/Haskell/Haskell.thy --- 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