src/HOL/SPARK/Examples/RIPEMD-160/wordops.ads
changeset 47809 4d8cbea248b0
parent 41561 d1318f3c86ba