diff -r ec638de59da7 -r 1a58413a8cc0 Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Tue Nov 12 11:52:42 2013 +0100
+++ b/Admin/isatest/isatest-stats	Tue Nov 12 12:04:17 2013 +0100
@@ -14,11 +14,9 @@
   HOL-Auth
   HOL-BNF
   HOL-BNF-Examples
+  HOL-BNF-LFP
   HOL-BNF-Nitpick_Examples
-  HOL-BNF-LFP
   HOL-Bali
-  HOL-Boogie
-  HOL-Boogie-Examples
   HOL-Cardinals
   HOL-Cardinals-Base
   HOL-Codegenerator_Test