diff options
| author | Josh Chen | 2019-02-17 23:13:57 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-17 23:13:57 +0100 |
| commit | ff95b7b5113121d06662ed1508e90fadeb05c161 (patch) | |
| tree | 69f64da36acfe279f3353bb937eb269575a14f9f /HoTT.thy | |
| parent | 68aa069172933b875d70a5ef71e9db0ae685a92d (diff) | |
finalize quantify methods
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions