ProgTutorial/Package/Ind_Extensions.thy
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
less more (0) -6 tip