CookBook/Package/Ind_Interface.thy
2009-01-29 Christian Urban adaptation of the package chapter to fit the rest
2009-01-24 Christian Urban adapted to changes in binding.ML
2009-01-14 Christian Urban removed mytable from root-file
2009-01-03 Christian Urban doem tuning and made the cookbook work again with recent changes (CookBook/Package/Ind_Interface.thy needs to be looked at to see what the problem with the new parser type is)
2008-12-15 berghofe Adapted to changes in binding module.
2008-11-29 Christian Urban removed the @{ML ...} antiquotation in favour of @{ML_open ...x}
2008-10-27 Christian Urban tuned mostly antiquotation and text
2008-10-13 berghofe Tuned.
2008-10-10 berghofe Added new chapter about writing packages.
less more (0) tip