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.