ProgTutorial/Package/Simple_Inductive_Package.thy
Thu, 20 Aug 2009 22:30:20 +0200 Christian Urban further polishing of index generation
Tue, 05 May 2009 03:21:49 +0200 Christian Urban fixed the problem with double definition of even and odd
Thu, 19 Mar 2009 13:28:16 +0100 Christian Urban made more of the transition from "CookBook" to "ProgTutorial"
less more (0) tip