diff -r 2190af0ef263 -r 1258eab48270 Admin/isatest/isatest-stats
--- 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