Created SRFF.v
Refactored
Created allg.v
Renamed the files