ProgTutorial/Package/Ind_Extensions.thy
2009-06-23 Christian Urban updated to new Isabelle
2009-05-17 Christian Urban some polishing; added together with Jasmin more examples to the pretty printing section
2009-04-03 Christian Urban various additions
2009-04-02 Christian Urban section for further material about simple inductive
less more (0) tip