CookBook/Package/Simple_Inductive_Package.thy
2008-10-10 berghofe Added new chapter about writing packages.
less more (0) tip