# HG changeset patch # User wenzelm # Date 1330109220 -3600 # Node ID 1258eab48270ae0afab29ac5ba097cdbf88780cc # Parent 2190af0ef2634955233c31489b889f9a866aa11b updated stats according to src/HOL/IsaMakefile; 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