changeset 49483 | 470e612db99a |
parent 49448 | 8a232a4e3fd8 |
child 49510 | ba50d204095e |
--- 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