# HG changeset patch
# User wenzelm
# Date 1262527742 -3600
# Node ID 225daff4323b7439602083a4e0be6dbfdfdcbe6f
# Parent  010a3206cbbe294eed0bcb977dd817d7b9262d0a
updated stats;

diff -r 010a3206cbbe -r 225daff4323b Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Sun Jan 03 15:08:17 2010 +0100
+++ b/Admin/isatest/isatest-stats	Sun Jan 03 15:09:02 2010 +0100
@@ -12,21 +12,23 @@
   HOL-Plain \
   HOL-Main \
   HOL \
+  HOL-Proofs \
   HOL-Algebra \
   HOL-Auth \
   HOL-Bali \
   HOL-Decision_Procs \
-  HOL-Extraction \
   HOL-Hoare \
   HOL-Hoare_Parallel \
-  HOL-Lambda \
   HOL-Library \
   HOL-Metis_Examples \
   HOL-MicroJava \
+  HOL-Multivariate_Analysis \
   HOL-NSA \
   HOL-Nominal-Examples \
   HOL-Number_Theory \
   HOL-Old_Number_Theory \
+  HOL-Proofs-Extraction \
+  HOL-Proofs-Lambda \
   HOL-SET_Protocol \
   HOL-UNITY \
   HOL-Word \