src/HOL/SPARK/Examples/README
2011-01-15 berghofe 2011-01-15 Added new SPARK verification environment.