src/HOL/SPARK/ROOT.ML
2011-01-15 berghofe 2011-01-15 Added new SPARK verification environment.