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/NumberTheory/IntPrimes.thy
changeset 10147 178deaacb244
parent 9943 55c82decf3f4
child 11049 7eef34adb852 
--- a/src/HOL/NumberTheory/IntPrimes.thy	Tue Oct 03 22:36:22 2000 +0200
+++ b/src/HOL/NumberTheory/IntPrimes.thy	Tue Oct 03 22:37:16 2000 +0200
@@ -4,7 +4,7 @@
     Copyright	2000  University of Cambridge
 *)
 
-IntPrimes = Main + IntDiv + Primes +
+IntPrimes = Primes +
 
 consts
   xzgcda   :: "int*int*int*int*int*int*int*int => int*int*int"
isabelle