CookBook/Package/Ind_Interface.thy
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