--- a/Admin/isatest/isatest-stats Fri Feb 24 19:45:10 2012 +0100
+++ b/Admin/isatest/isatest-stats Fri Feb 24 19:47:00 2012 +0100
@@ -52,6 +52,7 @@
HOL-Proofs-Extraction
HOL-Proofs-Lambda
HOL-Proofs-ex
+ HOL-Quickcheck_Examples
HOL-Quotient_Examples
HOL-SET_Protocol
HOL-SPARK