src/HOL/SPARK/Examples/RIPEMD-160/shadow/interfaces.ads
changeset 66787 64b47495676d
parent 41561 d1318f3c86ba