diff -r c0fa3b3bdabd -r 385e20f2aab4 Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Mon Dec 22 20:40:37 2014 +0100
+++ b/Admin/isatest/isatest-stats	Mon Dec 22 21:27:59 2014 +0100
@@ -12,15 +12,10 @@
   HOL
   HOL-Algebra
   HOL-Auth
-  HOL-BNF
-  HOL-BNF-Examples
-  HOL-BNF-LFP
-  HOL-BNF-Nitpick_Examples
   HOL-Bali
   HOL-Cardinals
-  HOL-Cardinals-Base
   HOL-Codegenerator_Test
-  HOL-Datatype_Benchmark
+  HOL-Datatype_Examples
   HOL-Decision_Procs
   HOL-Hahn_Banach
   HOL-Hoare
@@ -44,6 +39,7 @@
   HOL-NSA
   HOL-NSA-Examples
   HOL-NanoJava
+  HOL-Nitpick_Examples
   HOL-Nominal
   HOL-Nominal-Examples
   HOL-Number_Theory