Clean up log_rep using log_rep_inner instead - part of crep proof (definitely provable, but putting off for now...)
Clean up log_rep using log_rep_inner instead
- part of crep proof (definitely provable, but putting off for now...)

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