--- a/Admin/isatest/isatest-stats Tue Oct 20 19:52:04 2009 +0200
+++ b/Admin/isatest/isatest-stats Tue Oct 20 20:03:23 2009 +0200
@@ -27,7 +27,7 @@
HOL-Nominal-Examples \
HOL-Number_Theory \
HOL-Old_Number_Theory \
- HOL-SET-Protocol \
+ HOL-SET_Protocol \
HOL-UNITY \
HOL-Word \
HOL-ex \