Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest/isatest-stats
changeset 49310 6e30078de4f0
parent 47044 1ab41ea5b1c6
child 49938 1c06f8d244af 
--- a/Admin/isatest/isatest-stats	Wed Sep 12 05:21:47 2012 +0200
+++ b/Admin/isatest/isatest-stats	Wed Sep 12 05:29:21 2012 +0200
@@ -97,6 +97,7 @@
   HOL-Binomial-Heaps
   HOL-Binomial-Queues
   HOL-BytecodeLogicJmlTypes
+  HOL-Cardinals
   HOL-Category
   HOL-Category2
   HOL-Cauchy
@@ -146,7 +147,6 @@
   HOL-Nominal-Lam-ml-Normalization
   HOL-Nominal-SequentInvertibility
   HOL-Ordinal
-  HOL-Ordinals_and_Cardinals
   HOL-POPLmark-deBruijn
   HOL-Perfect-Number-Thm
   HOL-Polynomials
isabelle