Stale files that are not in _CoqProject
I noted theories/examples/snapshot.v is not in the _CoqProject file. Such files should either be removed or added to the _CoqProject.
I noted theories/examples/snapshot.v is not in the _CoqProject file. Such files should either be removed or added to the _CoqProject.