src/HOL/SPARK/Examples/RIPEMD-160/RMD_Specification.thy
Sat, 01 Mar 2014 17:08:39 +0100 haftmann more precise imports;
Sun, 16 Jan 2011 15:31:22 +0100 wenzelm tuned;
Sat, 15 Jan 2011 12:35:29 +0100 berghofe Added new SPARK verification environment.
less more (0) tip