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.
removed old NSPrimes, cf. NSA/Examples/;
authorwenzelm
Thu, 03 Jul 2008 20:15:06 +0200
changeset 27482 c686f9abc99c
parent 27481 0e47e4a68709
child 27483 7c58324cd418
removed old NSPrimes, cf. NSA/Examples/;
src/HOL/ex/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/ROOT.ML	Thu Jul 03 20:10:52 2008 +0200
+++ b/src/HOL/ex/ROOT.ML	Thu Jul 03 20:15:06 2008 +0200
@@ -98,7 +98,6 @@
   "../Complex/ex/BinEx",
   "../Complex/ex/Sqrt",
   "../Complex/ex/Sqrt_Script",
-  "../Complex/ex/NSPrimes",
   "../Complex/ex/BigO_Complex",
 
   "../Complex/ex/Arithmetic_Series_Complex",
isabelle