Admin/isatest/isatest-stats
changeset 28602 a79582c29bd5
parent 28530 843b35caa8c4
child 29283 f4743512b12d
     1.1 --- a/Admin/isatest/isatest-stats	Wed Oct 15 16:25:31 2008 +0200
     1.2 +++ b/Admin/isatest/isatest-stats	Wed Oct 15 19:43:11 2008 +0200
     1.3 @@ -16,8 +16,6 @@
     1.4    HOL-Algebra \
     1.5    HOL-Auth \
     1.6    HOL-Bali \
     1.7 -  HOL-Complex \
     1.8 -  HOL-Complex-ex \
     1.9    HOL-Extraction \
    1.10    HOL-Hoare \
    1.11    HOL-HoareParallel \