more stats;
authorwenzelm
Sat Mar 21 12:35:34 2009 +0100 (2009-03-21)
changeset 30616ac79f1bb5db3
parent 30615 f1275196df16
child 30617 620db300c038
more stats;
Admin/isatest/isatest-stats
     1.1 --- a/Admin/isatest/isatest-stats	Fri Mar 20 21:32:12 2009 +0100
     1.2 +++ b/Admin/isatest/isatest-stats	Sat Mar 21 12:35:34 2009 +0100
     1.3 @@ -31,6 +31,8 @@
     1.4    HOL-UNITY \
     1.5    HOL-Word \
     1.6    HOL-ex \
     1.7 +  HOLCF \
     1.8 +  IOA \
     1.9    ZF \
    1.10    ZF-Constructible \
    1.11    ZF-UNITY"