# HG changeset patch
# User haftmann
# Date 1253541634 -7200
# Node ID 4ba4bfa087490964c51ce1ca956fd1465f2ebfc3
# Parent  8ae912371831115099f7b65082c7203adef13c3c
adjusted to new Number Theory scenario

diff -r 8ae912371831 -r 4ba4bfa08749 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 \