diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-03-25 18:01:19 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-03-25 18:01:19 +0000 |
| commit | ba7e3b5d9c868af4b5dd7c3af72c48a1dd27cc31 (patch) | |
| tree | 42e9ec97d50edfd46afeb920260b1dc29058696f /src/Cfe/Context/Base.agda | |
| parent | abe9461e0dc194c160d97fee23a1646097a0c264 (diff) | |
Prove sequential unique decomposition.
Fix faulty definition of flast set.
Diffstat (limited to 'src/Cfe/Context/Base.agda')
0 files changed, 0 insertions, 0 deletions