src/Pure/General/sha1.ML
changeset 57638 ed58e740a699
parent 41954 fb94df4505a0
child 62663 bea354f6ff21
     1.1 --- a/src/Pure/General/sha1.ML	Thu Jul 24 10:22:34 2014 +0200
     1.2 +++ b/src/Pure/General/sha1.ML	Thu Jul 24 10:38:46 2014 +0200
     1.3 @@ -10,6 +10,7 @@
     1.4    eqtype digest
     1.5    val digest: string -> digest
     1.6    val rep: digest -> string
     1.7 +  val fake: string -> digest
     1.8  end;
     1.9  
    1.10  structure SHA1: SHA1 =
    1.11 @@ -136,4 +137,6 @@
    1.12  val digest = Digest o digest_string;
    1.13  fun rep (Digest s) = s;
    1.14  
    1.15 +val fake = Digest;
    1.16 +
    1.17  end;