diff options
| author | Josh Chen | 2020-07-28 14:10:34 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-07-28 14:10:34 +0200 |
| commit | 6b27aa578257a6f4db9242b413a8008962b7f2e1 (patch) | |
| tree | f49e1decc18bddb4a2ccbc4b181d470eac77ed03 /hott/List+.thy | |
| parent | 223a253732ced7d89dcea506ab56d92d1cfe8281 (diff) | |
New `assuming` proof command for elaborated assumptions
Diffstat (limited to 'hott/List+.thy')
0 files changed, 0 insertions, 0 deletions