diff options
| author | Jaron Kent-Dobias <jaron@kent-dobias.com> | 2022-10-21 15:55:17 +0200 |
|---|---|---|
| committer | Jaron Kent-Dobias <jaron@kent-dobias.com> | 2022-10-21 15:55:17 +0200 |
| commit | d28e08b7e4637b5a44434f2909f6213818a3834b (patch) | |
| tree | 43f95e981881c3ca293aedaf6a963c3a7a4ce4a7 /proofs | |
| parent | 0e641b3cf916deefef4752d87a860104ef783816 (diff) | |
| download | PRE_107_064111-d28e08b7e4637b5a44434f2909f6213818a3834b.tar.gz PRE_107_064111-d28e08b7e4637b5a44434f2909f6213818a3834b.tar.bz2 PRE_107_064111-d28e08b7e4637b5a44434f2909f6213818a3834b.zip | |
No mu^* in this version.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions