Admin/isatest/isatest-stats

--- a/Admin/isatest/isatest-stats	Mon Sep 21 15:33:40 2009 +0200
+++ b/Admin/isatest/isatest-stats	Mon Sep 21 16:00:34 2009 +0200
@@ -24,9 +24,9 @@
   HOL-MetisExamples \
   HOL-MicroJava \
   HOL-NSA \
-  HOL-NewNumberTheory \
   HOL-Nominal-Examples \
-  HOL-NumberTheory \
+  HOL-Number_Theory \
+  HOL-Old_Number_Theory \
   HOL-SET-Protocol \
   HOL-UNITY \
   HOL-Word \