src/HOL/SPARK/Manual/Complex_Types.thy
2011-09-22 berghofe 2011-09-22 Added documentation for HOL-SPARK