00readme.txt
sr.tar
        The SR programming language, including doumentation, checkout
        programs, and examples.
vs.tar
        Extended verfication suite.  You only need this if you are
        modifying the system or porting to a new architecture.