src/HOL/SPARK/Manual/ROOT.ML
2011-09-22 berghofe 2011-09-22 Added documentation for HOL-SPARK