added ZF-UNITY;
authorwenzelm
Wed Sep 20 21:02:29 2006 +0200 (2006-09-20)
changeset 206495079b9ee1ef5
parent 20648 742c30fc3fcb
child 20650 8188d7605c5b
added ZF-UNITY;
Admin/isatest-stats
     1.1 --- a/Admin/isatest-stats	Wed Sep 20 15:11:46 2006 +0200
     1.2 +++ b/Admin/isatest-stats	Wed Sep 20 21:02:29 2006 +0200
     1.3 @@ -24,7 +24,8 @@
     1.4    HOL-UNITY \
     1.5    HOL-ex \
     1.6    ZF \
     1.7 -  ZF-Constructible"
     1.8 +  ZF-Constructible\
     1.9 +  ZF-UNITY"
    1.10  
    1.11  for PLATFORM in $PLATFORMS
    1.12  do