--- a/Admin/isatest/isatest-stats Wed Oct 08 19:20:29 2008 +0200 +++ b/Admin/isatest/isatest-stats Wed Oct 08 19:30:15 2008 +0200 @@ -11,6 +11,7 @@ ISABELLE_SESSIONS="\ HOL-Plain \ + HOL-Main \ HOL \ HOL-Algebra \ HOL-Auth \