ProgTutorial/Recipes/Oracle.thy
2012-10-04 Christian Urban removed "use" for "ML_file"
2012-08-27 Christian Urban adapted to new build framework
2012-04-30 Christian Urban removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
less more (0) -3 tip