diff options
| author | Jaron Kent-Dobias <jaron@kent-dobias.com> | 2023-01-23 14:31:45 +0100 |
|---|---|---|
| committer | Jaron Kent-Dobias <jaron@kent-dobias.com> | 2023-01-23 14:31:45 +0100 |
| commit | 463f9092809df7e2f76479ee2217078bdaee2692 (patch) | |
| tree | c9e22a5bb3c9d52ea3d76592f4ed9073029e55a5 /proofs | |
| parent | 2f2cda1c805ef73408b5a9e3bc3dcab1b8fffe7d (diff) | |
| download | PRE_107_064111-463f9092809df7e2f76479ee2217078bdaee2692.tar.gz PRE_107_064111-463f9092809df7e2f76479ee2217078bdaee2692.tar.bz2 PRE_107_064111-463f9092809df7e2f76479ee2217078bdaee2692.zip | |
Some condesing of the language.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions