CookBook/Package/Ind_Examples.thy
2009-02-07 Christian Urban general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution
2009-01-29 Christian Urban adaptation of the package chapter to fit the rest
2008-10-14 Christian Urban added a preliminary section about parsing
2008-10-10 berghofe Added new chapter about writing packages.
less more (0) tip