# HG changeset patch
# User wenzelm
# Date 1245930003 -7200
# Node ID a36b5e02c1abbd1fc8d1d30cb3f073f10c6c3ab9
# Parent  b97b34e7c853711f4cca1c56918c8a21f0cb444a
more stats;

diff -r b97b34e7c853 -r a36b5e02c1ab Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Thu Jun 25 13:36:46 2009 +0200
+++ b/Admin/isatest/isatest-stats	Thu Jun 25 13:40:03 2009 +0200
@@ -24,6 +24,7 @@
   HOL-MetisExamples \
   HOL-MicroJava \
   HOL-NSA \
+  HOL-NewNumberTheory \
   HOL-Nominal-Examples \
   HOL-NumberTheory \
   HOL-SET-Protocol \