added HOL-Nominal-Examples;
authorwenzelm
Wed Jun 20 23:15:25 2007 +0200 (2007-06-20)
changeset 23443fd8ffc8a5709
parent 23442 028e39e5e8f3
child 23444 6d4703843f93
added HOL-Nominal-Examples;
Admin/isatest/isatest-stats
     1.1 --- a/Admin/isatest/isatest-stats	Wed Jun 20 22:07:52 2007 +0200
     1.2 +++ b/Admin/isatest/isatest-stats	Wed Jun 20 23:15:25 2007 +0200
     1.3 @@ -20,6 +20,7 @@
     1.4    HOL-HoareParallel \
     1.5    HOL-Lambda \
     1.6    HOL-MicroJava \
     1.7 +  HOL-Nominal-Examples \
     1.8    HOL-NumberTheory \
     1.9    HOL-SET-Protocol \
    1.10    HOL-UNITY \