src/HOL/SPARK/Manual/Reference.thy
2012-02-28 berghofe 2012-02-28 Added infrastructure for mapping SPARK field / constructor names to Isabelle types
2011-09-22 berghofe 2011-09-22 Added documentation for HOL-SPARK