ProgTutorial/Package/Ind_Interface.thy
Wed, 01 Apr 2009 15:42:47 +0100 Christian Urban finished the heavy duty stuff for the inductive package
Wed, 01 Apr 2009 12:26:56 +0100 Christian Urban more work on the simple inductive chapter
Tue, 31 Mar 2009 20:31:18 +0100 Christian Urban started to adapt the rest of chapter 5 to the simplified version without parameters (they will be described in the extension section)
Tue, 31 Mar 2009 15:48:53 +0100 Christian Urban more work on the inductive package
Fri, 27 Mar 2009 18:19:42 +0000 Christian Urban polishing
Thu, 19 Mar 2009 13:28:16 +0100 Christian Urban made more of the transition from "CookBook" to "ProgTutorial"
less more (0) tip