ProgTutorial/Package/simple_inductive_package.ML
2012-08-27 Christian Urban adapted to new build framework
2012-03-20 Christian Urban updated to outer syntax / parser changes
2011-10-26 Christian Urban updated to post-2011-1 Isabelle
2010-05-27 Christian Urban updated to new Isabelle
2010-03-07 Christian Urban updated to new isabelle
2009-11-22 Christian Urban updated to new Isabelle and clarified Skip_Proof
2009-11-19 Christian Urban updated to new Isabelle
less more (0) -7 tip