diff options
| author | Josh Chen | 2020-08-02 16:44:47 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-08-02 16:44:47 +0200 |
| commit | 70fd3f72ef8f9cc01a071250d94e8c25ecb04c1d (patch) | |
| tree | 31d6ff3eeda51264d29ec00af8b8f6ef3d69a8f7 /hott/List+.thy | |
| parent | 77aa10763429d2ded040071fbf7bee331dd52f5e (diff) | |
rename some theorems
Diffstat (limited to 'hott/List+.thy')
0 files changed, 0 insertions, 0 deletions