added HOL-Plain;
authorwenzelm
Tue Jul 01 20:10:59 2008 +0200 (2008-07-01)
changeset 27429510eed16fab5
parent 27428 f92d47cdc0de
child 27430 1e25ac05cd87
added HOL-Plain;
Admin/isatest/isatest-stats
     1.1 --- a/Admin/isatest/isatest-stats	Tue Jul 01 18:38:44 2008 +0200
     1.2 +++ b/Admin/isatest/isatest-stats	Tue Jul 01 20:10:59 2008 +0200
     1.3 @@ -25,6 +25,7 @@
     1.4    HOL-MicroJava \
     1.5    HOL-Nominal-Examples \
     1.6    HOL-NumberTheory \
     1.7 +  HOL-Plain \
     1.8    HOL-SET-Protocol \
     1.9    HOL-UNITY \
    1.10    HOL-ex \