ProgTutorial/First_Steps.thy
2013-04-19 Christian Urban updated to simplifier change
2012-10-04 Christian Urban removed "use" for "ML_file"
2012-04-30 Christian Urban removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
2011-11-25 Christian Urban merged
less more (0) -10 -4 tip