diff -r 63f0b638355c -r 12c329e4d1cc Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Fri May 30 17:52:10 2008 +0200
+++ b/Admin/isatest/isatest-stats	Fri May 30 23:10:53 2008 +0200
@@ -34,20 +34,23 @@
 
 AFP_SESSIONS="\
   CoreC++\
+  HOL-Complex-LinearQuantifierElim\
   HOL-DiskPaxos\
   HOL-Fermat3_4\
   HOL-Flyspeck-Tame\
   HOL-Group-Ring-Module\
+  HOL-JinjaThreads\
   HOL-Jinja\
-  HOL-JinjaThreads\
   HOL-JiveDataStoreModel\
-  HOL-LinearQuantifierElim\
   HOL-POPLmark-deBruijn\
+  HOL-Program-Conflict-Analysis\
   HOL-RSAPSS\
+  HOL-Recursion-Theory-I\
   HOL-SumSquares\
+  HOL-Topology\
   HOL-Valuation\
-  Simpl\
-  Simpl-BDD"
+  Simpl-BDD\
+  Simpl"
 
 for PLATFORM in $PLATFORMS
 do