equal
deleted
inserted
replaced
608 files |
608 files |
609 "document/intro.tex" |
609 "document/intro.tex" |
610 "document/root.tex" |
610 "document/root.tex" |
611 "document/root.bib" |
611 "document/root.bib" |
612 |
612 |
613 session "HOL-Codatatype" in Codatatype = "HOL-Cardinals-Base" + |
613 session "HOL-Codatatype" in Codatatype = "HOL-Cardinals" + |
614 description {* New (Co)datatype Package *} |
614 description {* New (Co)datatype Package *} |
615 options [document = false] |
615 options [document = false] |
616 theories Codatatype |
616 theories Codatatype |
617 |
617 |
618 session "HOL-Codatatype-Examples" in "Codatatype/Examples" = "HOL-Codatatype" + |
618 session "HOL-Codatatype-Examples" in "Codatatype/Examples" = "HOL-Codatatype" + |