src/HOL/SPARK/Examples/RIPEMD-160/Round.thy
Sat, 01 Mar 2014 17:08:39 +0100 haftmann more precise imports;
Thu, 17 Nov 2011 14:52:05 +0100 huffman HOL-Word: removed many duplicate theorems (see NEWS)
Wed, 26 Jan 2011 20:51:09 +0100 berghofe Replaced smod by standard mod operator to reflect actual behaviour
Sat, 15 Jan 2011 12:35:29 +0100 berghofe Added new SPARK verification environment.
less more (0) tip