ProgTutorial/Package/Simple_Inductive_Package.thy
2012-10-04 Christian Urban removed "use" for "ML_file"
2012-03-20 Christian Urban updated to outer syntax / parser changes
2010-07-28 Christian Urban updated to new isabelle
2009-08-20 Christian Urban further polishing of index generation
2009-05-05 Christian Urban fixed the problem with double definition of even and odd
2009-03-19 Christian Urban made more of the transition from "CookBook" to "ProgTutorial"
less more (0) tip