diff options
| author | Josh Chen | 2019-02-28 00:05:23 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-28 00:05:23 +0100 |
| commit | 0d4faf23394e2dca1c76bb551f09b642fa5976ac (patch) | |
| tree | 414deea207fffbf67d4b44c97c7b3339f248b399 /HoTT_Methods.thy | |
| parent | 76a009527d42c9939575f429a406a084c48fe653 (diff) | |
1. Remove all type inference functionality (feature development moving to another branch).
2. Eq.thy complete.
Diffstat (limited to 'HoTT_Methods.thy')
0 files changed, 0 insertions, 0 deletions