# HG changeset patch
# User wenzelm
# Date 1214935859 -7200
# Node ID 510eed16fab56fd4563e934a30583ef6311ec88c
# Parent  f92d47cdc0de69d58e4101ed99c28ea2bc90b7db
added HOL-Plain;

diff -r f92d47cdc0de -r 510eed16fab5 Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Tue Jul 01 18:38:44 2008 +0200
+++ b/Admin/isatest/isatest-stats	Tue Jul 01 20:10:59 2008 +0200
@@ -25,6 +25,7 @@
   HOL-MicroJava \
   HOL-Nominal-Examples \
   HOL-NumberTheory \
+  HOL-Plain \
   HOL-SET-Protocol \
   HOL-UNITY \
   HOL-ex \