src/Pure/General/sha1.ML
Thu, 24 Jul 2014 10:38:46 +0200 wenzelm less authentic SHA1.digest: trust Scala side on blobs and avoid re-calculation via Foreign Language Interface, which might be a cause of problems;
Sun, 13 Mar 2011 20:21:24 +0100 wenzelm explicit type SHA1.digest;
Sun, 07 Mar 2010 15:51:29 +0100 wenzelm Digesting strings according to SHA-1.
less more (0) tip