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.
avoid deprecation
authorhaftmann
Tue, 20 Jul 2010 08:54:21 +0200
changeset 37892 3d8857f42a64
parent 37891 c26f9d06e82c
child 37893 0dbbc4c5a67e
avoid deprecation
src/HOL/Library/Efficient_Nat.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Efficient_Nat.thy	Tue Jul 20 06:35:29 2010 +0200
+++ b/src/HOL/Library/Efficient_Nat.thy	Tue Jul 20 08:54:21 2010 +0200
@@ -312,7 +312,7 @@
   def equals(that: Nat): Boolean = this.value == that.value
 
   def as_BigInt: BigInt = this.value
-  def as_Int: Int = if (this.value >= Math.MIN_INT && this.value <= Math.MAX_INT)
+  def as_Int: Int = if (this.value >= Int.MinValue && this.value <= Int.MaxValue)
       this.value.intValue
     else this.value.intValue
isabelle