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_Methods.thy | |
parent | 68aa069172933b875d70a5ef71e9db0ae685a92d (diff) |
finalize quantify methods
Diffstat (limited to 'HoTT_Methods.thy')
0 files changed, 0 insertions, 0 deletions