src/HOL/ROOT
changeset 49483 470e612db99a
parent 49448 8a232a4e3fd8
child 49510 ba50d204095e
     1.1 --- a/src/HOL/ROOT	Thu Sep 20 17:25:07 2012 +0200
     1.2 +++ b/src/HOL/ROOT	Thu Sep 20 17:25:07 2012 +0200
     1.3 @@ -610,7 +610,7 @@
     1.4      "document/root.tex"
     1.5      "document/root.bib"
     1.6  
     1.7 -session "HOL-Codatatype" in Codatatype = "HOL-Cardinals-Base" +
     1.8 +session "HOL-Codatatype" in Codatatype = "HOL-Cardinals" +
     1.9    description {* New (Co)datatype Package *}
    1.10    options [document = false]
    1.11    theories Codatatype