ACL2readonly

Prevention of modification and deletion of files that must be kept unchanged while stored for a long time.