--- a/Admin/isatest/isatest-stats Thu Feb 26 16:35:10 2009 +0100
+++ b/Admin/isatest/isatest-stats Thu Feb 26 16:59:04 2009 +0100
@@ -16,6 +16,7 @@
HOL-Algebra \
HOL-Auth \
HOL-Bali \
+ HOL-Decision_Procs \
HOL-Extraction \
HOL-Hoare \
HOL-HoareParallel \