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