--- a/Admin/isatest/isatest-stats Mon Dec 22 20:40:37 2014 +0100
+++ b/Admin/isatest/isatest-stats Mon Dec 22 21:27:59 2014 +0100
@@ -12,15 +12,10 @@
HOL
HOL-Algebra
HOL-Auth
- HOL-BNF
- HOL-BNF-Examples
- HOL-BNF-LFP
- HOL-BNF-Nitpick_Examples
HOL-Bali
HOL-Cardinals
- HOL-Cardinals-Base
HOL-Codegenerator_Test
- HOL-Datatype_Benchmark
+ HOL-Datatype_Examples
HOL-Decision_Procs
HOL-Hahn_Banach
HOL-Hoare
@@ -44,6 +39,7 @@
HOL-NSA
HOL-NSA-Examples
HOL-NanoJava
+ HOL-Nitpick_Examples
HOL-Nominal
HOL-Nominal-Examples
HOL-Number_Theory