CookBook/Package/Simple_Inductive_Package.thy
2009-03-13 Christian Urban polishing
2009-03-10 Christian Urban more work on simple_inductive
2009-03-04 Christian Urban updated to chages in binding module
2008-10-10 berghofe Added new chapter about writing packages.
less more (0) tip