ProgTutorial/Package/Ind_Extensions.thy
2019-05-14 Norbert Schirmer isabelle update_cartouches -t
2019-05-14 Norbert Schirmer Accomodate to Isabelle 2018
2014-10-15 Christian Urban updated to new Isabelle
2013-08-31 Christian Urban updated subscripts
2013-05-28 Christian Urban updated to Isabelle changes
2013-04-19 Christian Urban updated to simplifier change
2012-12-01 Christian Urban updated to new isabelle
2012-04-30 Christian Urban removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
2011-05-17 Christian Urban updated to new Isabelle
2010-05-17 Christian Urban updated to new isabelle
2010-04-07 Christian Urban updated to new Isabelle
2009-11-25 Christian Urban added RANGE
2009-10-13 Christian Urban tuned the ML-output mechanism; tuned slightly the text
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