Proof P32-P33_P72-P73 (#530)

Closes #233 

* WIP

* more changes to comment formatting

* more minor alignment fixes
This commit is contained in:
Samuel Burkhardt 2020-02-20 00:45:36 +01:00 committed by GitHub
parent 614ddd76f9
commit 4bdf1ffbbf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

File diff suppressed because it is too large Load Diff