Admin/isatest-stats
changeset 20683 3d07617c8bf3
parent 20649 5079b9ee1ef5
child 21166 2075d9027004
     1.1 --- a/Admin/isatest-stats	Fri Sep 22 16:25:15 2006 +0200
     1.2 +++ b/Admin/isatest-stats	Fri Sep 22 21:42:12 2006 +0200
     1.3 @@ -14,6 +14,7 @@
     1.4    HOL-Auth \
     1.5    HOL-Bali \
     1.6    HOL-Complex \
     1.7 +  HOL-Complex-ex \
     1.8    HOL-Extraction \
     1.9    HOL-Hoare \
    1.10    HOL-HoareParallel \