added HOL-Main;
authorwenzelm
Wed Oct 08 19:30:15 2008 +0200 (2008-10-08)
changeset 28530843b35caa8c4
parent 28529 7ff939586e83
child 28531 d987084b0fd2
added HOL-Main;
Admin/isatest/isatest-stats
     1.1 --- a/Admin/isatest/isatest-stats	Wed Oct 08 19:20:29 2008 +0200
     1.2 +++ b/Admin/isatest/isatest-stats	Wed Oct 08 19:30:15 2008 +0200
     1.3 @@ -11,6 +11,7 @@
     1.4  
     1.5  ISABELLE_SESSIONS="\
     1.6    HOL-Plain \
     1.7 +  HOL-Main \
     1.8    HOL \
     1.9    HOL-Algebra \
    1.10    HOL-Auth \