Commit graph

2 commits

Author SHA1 Message Date
agc
4a3d2f7ce2 Add RMD160 digests. 2005-02-23 22:24:08 +00:00
wiz
f39e5171b6 Import rsltc-2.4, provided by Marko Schütz in PR 28405.
rsltc provides type-checking, pretty-printing, generation of confidence
conditions, showing module dependencies, translation to Standard ML, to
C++, and to PVS, and translation to RSL from UML class diagrams.
2004-11-30 08:24:18 +00:00