--- a/Admin/isatest/isatest-stats Wed Jun 20 22:07:52 2007 +0200
+++ b/Admin/isatest/isatest-stats Wed Jun 20 23:15:25 2007 +0200
@@ -20,6 +20,7 @@
HOL-HoareParallel \
HOL-Lambda \
HOL-MicroJava \
+ HOL-Nominal-Examples \
HOL-NumberTheory \
HOL-SET-Protocol \
HOL-UNITY \