changeset 54395 | 1a58413a8cc0 |
parent 53818 | d534f36f9a4f |
child 59181 | 385e20f2aab4 |
--- a/Admin/isatest/isatest-stats Tue Nov 12 11:52:42 2013 +0100 +++ b/Admin/isatest/isatest-stats Tue Nov 12 12:04:17 2013 +0100 @@ -14,11 +14,9 @@ HOL-Auth HOL-BNF HOL-BNF-Examples + HOL-BNF-LFP HOL-BNF-Nitpick_Examples - HOL-BNF-LFP HOL-Bali - HOL-Boogie - HOL-Boogie-Examples HOL-Cardinals HOL-Cardinals-Base HOL-Codegenerator_Test