# HG changeset patch
# User wenzelm
# Date 1158954132 -7200
# Node ID 3d07617c8bf3edb0177f3d7ee46c4ff9d32214c5
# Parent  cecff1f514319f62d9c853d227f134e687629fb1
added HOL-Complex-ex;

diff -r cecff1f51431 -r 3d07617c8bf3 Admin/isatest-stats
--- a/Admin/isatest-stats	Fri Sep 22 16:25:15 2006 +0200
+++ b/Admin/isatest-stats	Fri Sep 22 21:42:12 2006 +0200
@@ -14,6 +14,7 @@
   HOL-Auth \
   HOL-Bali \
   HOL-Complex \
+  HOL-Complex-ex \
   HOL-Extraction \
   HOL-Hoare \
   HOL-HoareParallel \