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/ex/ROOT.ML
changeset 27482 c686f9abc99c
parent 27436 9581777503e9
child 27679 6392b92c3536 
--- 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