# HG changeset patch
# User wenzelm
# Date 1237635334 -3600
# Node ID ac79f1bb5db36539b035655c51185ac9b6ef5fca
# Parent  f1275196df162808b627848ef0a2bacbdf6748d8
more stats;

diff -r f1275196df16 -r ac79f1bb5db3 Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Fri Mar 20 21:32:12 2009 +0100
+++ b/Admin/isatest/isatest-stats	Sat Mar 21 12:35:34 2009 +0100
@@ -31,6 +31,8 @@
   HOL-UNITY \
   HOL-Word \
   HOL-ex \
+  HOLCF \
+  IOA \
   ZF \
   ZF-Constructible \
   ZF-UNITY"