Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
the Codatatype package currently needs all of Cardinals (temporary -- because of countable sets)
authorblanchet
Thu, 20 Sep 2012 17:25:07 +0200
changeset 49483 470e612db99a
parent 49482 e6d6869eed08
child 49484 0194a18f80cf
the Codatatype package currently needs all of Cardinals (temporary -- because of countable sets)
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Thu Sep 20 17:25:07 2012 +0200
+++ b/src/HOL/ROOT	Thu Sep 20 17:25:07 2012 +0200
@@ -610,7 +610,7 @@
     "document/root.tex"
     "document/root.bib"
 
-session "HOL-Codatatype" in Codatatype = "HOL-Cardinals-Base" +
+session "HOL-Codatatype" in Codatatype = "HOL-Cardinals" +
   description {* New (Co)datatype Package *}
   options [document = false]
   theories Codatatype
isabelle