more sessions;
authorwenzelm
Thu Jul 03 19:17:52 2008 +0200 (2008-07-03)
changeset 27478ac3b0f881d89
parent 27477 c64736fe2a1f
child 27479 9bcd25618d0c
more sessions;
Admin/isatest/isatest-stats
     1.1 --- a/Admin/isatest/isatest-stats	Thu Jul 03 19:17:29 2008 +0200
     1.2 +++ b/Admin/isatest/isatest-stats	Thu Jul 03 19:17:52 2008 +0200
     1.3 @@ -24,10 +24,12 @@
     1.4    HOL-Library \
     1.5    HOL-MetisExamples \
     1.6    HOL-MicroJava \
     1.7 +  HOL-NSA \
     1.8    HOL-Nominal-Examples \
     1.9    HOL-NumberTheory \
    1.10    HOL-SET-Protocol \
    1.11    HOL-UNITY \
    1.12 +  HOL-Word \
    1.13    HOL-ex \
    1.14    ZF \
    1.15    ZF-Constructible\