updated stats;
authorwenzelm
Sun Jan 03 15:09:02 2010 +0100 (2010-01-03 ago)
changeset 34237225daff4323b
parent 34236 010a3206cbbe
child 34238 b28be884edda
child 34244 03f8dcab55f3
updated stats;
Admin/isatest/isatest-stats
     1.1 --- a/Admin/isatest/isatest-stats	Sun Jan 03 15:08:17 2010 +0100
     1.2 +++ b/Admin/isatest/isatest-stats	Sun Jan 03 15:09:02 2010 +0100
     1.3 @@ -12,21 +12,23 @@
     1.4    HOL-Plain \
     1.5    HOL-Main \
     1.6    HOL \
     1.7 +  HOL-Proofs \
     1.8    HOL-Algebra \
     1.9    HOL-Auth \
    1.10    HOL-Bali \
    1.11    HOL-Decision_Procs \
    1.12 -  HOL-Extraction \
    1.13    HOL-Hoare \
    1.14    HOL-Hoare_Parallel \
    1.15 -  HOL-Lambda \
    1.16    HOL-Library \
    1.17    HOL-Metis_Examples \
    1.18    HOL-MicroJava \
    1.19 +  HOL-Multivariate_Analysis \
    1.20    HOL-NSA \
    1.21    HOL-Nominal-Examples \
    1.22    HOL-Number_Theory \
    1.23    HOL-Old_Number_Theory \
    1.24 +  HOL-Proofs-Extraction \
    1.25 +  HOL-Proofs-Lambda \
    1.26    HOL-SET_Protocol \
    1.27    HOL-UNITY \
    1.28    HOL-Word \