src/HOL/SPARK/SPARK.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2013-11-13 haftmann 2013-11-13 separated comparision on bit operations into separate theory
2013-01-10 berghofe 2013-01-10 Added proof function declarations for min and max
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2011-01-15 berghofe 2011-01-15 Added new SPARK verification environment.