speed up proof of DiskLogHash.v [rep_synced_app_pimpl]
speed up proof of DiskLogHash.v [rep_synced_app_pimpl]

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl