Admin/isatest/isatest-stats
changeset 32633 4ba4bfa08749
parent 32421 8713597307a9
child 33027 9cf389429f6d
     1.1 --- a/Admin/isatest/isatest-stats	Mon Sep 21 15:33:40 2009 +0200
     1.2 +++ b/Admin/isatest/isatest-stats	Mon Sep 21 16:00:34 2009 +0200
     1.3 @@ -24,9 +24,9 @@
     1.4    HOL-MetisExamples \
     1.5    HOL-MicroJava \
     1.6    HOL-NSA \
     1.7 -  HOL-NewNumberTheory \
     1.8    HOL-Nominal-Examples \
     1.9 -  HOL-NumberTheory \
    1.10 +  HOL-Number_Theory \
    1.11 +  HOL-Old_Number_Theory \
    1.12    HOL-SET-Protocol \
    1.13    HOL-UNITY \
    1.14    HOL-Word \