Admin/isatest/isatest-stats

--- a/Admin/isatest/isatest-stats	Thu May 29 23:46:45 2008 +0200
+++ b/Admin/isatest/isatest-stats	Fri May 30 01:46:52 2008 +0200
@@ -39,11 +39,15 @@
   HOL-Flyspeck-Tame\
   HOL-Group-Ring-Module\
   HOL-Jinja\
+  HOL-JinjaThreads\
   HOL-JiveDataStoreModel\
+  HOL-LinearQuantifierElim\
   HOL-POPLmark-deBruijn\
   HOL-RSAPSS\
   HOL-SumSquares\
-  HOL-Valuation"
+  HOL-Valuation\
+  Simpl\
+  Simpl-BDD"
 
 for PLATFORM in $PLATFORMS
 do