# HG changeset patch
# User wenzelm
# Date 1204153487 -3600
# Node ID fa302c5bc2f2d334f04e1c2ed663a0b3ec18bd74
# Parent  5426a823455cd6fc8e0849ec72146a918f7cb5e4
added HOL-Library;

diff -r 5426a823455c -r fa302c5bc2f2 Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Wed Feb 27 21:46:13 2008 +0100
+++ b/Admin/isatest/isatest-stats	Thu Feb 28 00:04:47 2008 +0100
@@ -20,6 +20,7 @@
   HOL-Hoare \
   HOL-HoareParallel \
   HOL-Lambda \
+  HOL-Library \
   HOL-MetisExamples \
   HOL-MicroJava \
   HOL-Nominal-Examples \