Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Algebra/IntRing.thy
changeset 32480 6c19da8e661a
parent 30729 461ee3e49ad3
child 33657 a4179bf442d1 
--- a/src/HOL/Algebra/IntRing.thy	Tue Sep 01 15:39:33 2009 +0200
+++ b/src/HOL/Algebra/IntRing.thy	Tue Sep 01 16:00:57 2009 +0200
@@ -4,7 +4,7 @@
 *)
 
 theory IntRing
-imports QuotRing Lattice Int Primes
+imports QuotRing Lattice Int "~~/src/HOL/Old_Number_Theory/Primes"
 begin
isabelle