# HG changeset patch
# User wenzelm
# Date 1182374125 -7200
# Node ID fd8ffc8a5709e46e6800c27acc2bb8f32fb34aa3
# Parent  028e39e5e8f365a0824c98c23664dd0cc65c820e
added HOL-Nominal-Examples;

diff -r 028e39e5e8f3 -r fd8ffc8a5709 Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Wed Jun 20 22:07:52 2007 +0200
+++ b/Admin/isatest/isatest-stats	Wed Jun 20 23:15:25 2007 +0200
@@ -20,6 +20,7 @@
   HOL-HoareParallel \
   HOL-Lambda \
   HOL-MicroJava \
+  HOL-Nominal-Examples \
   HOL-NumberTheory \
   HOL-SET-Protocol \
   HOL-UNITY \