CookBook/Package/Ind_Intro.thy
2009-02-14 Christian Urban more changes to the package chapter
2009-02-13 Christian Urban some update of the package introduction
2009-02-13 Christian Urban slightly updated
2009-01-29 Christian Urban added a section that will eventually describe the code
2009-01-29 Christian Urban adaptation of the package chapter to fit the rest
2008-10-10 berghofe Added new chapter about writing packages.
less more (0) tip