src/HOL/SPARK/Manual/Reference.thy
Mon, 06 Apr 2015 17:28:07 +0200 wenzelm tuned;
Mon, 01 Sep 2014 18:42:02 +0200 blanchet ported to use new-style datatypes
Wed, 30 Apr 2014 15:43:44 +0200 berghofe Discontinued old spark_open; spark_open_siv is now spark_open
Fri, 29 Jun 2012 10:08:41 +0200 berghofe Documented "incomplete" option of spark_end
Tue, 28 Feb 2012 11:10:09 +0100 berghofe Added infrastructure for mapping SPARK field / constructor names
Thu, 22 Sep 2011 16:50:23 +0200 berghofe Added documentation for HOL-SPARK
less more (0) tip