diff options
| author | Josh Chen | 2019-03-27 14:41:16 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-03-27 14:41:16 +0100 |
| commit | b01b8ee0f3472cb728f09463d0620ac8b8066bcb (patch) | |
| tree | 9d0b5842a7d55fad45f5219314d89c6cd8f31ba0 /hott/Nat.thy | |
| parent | 45c3879db6850282bc067318e31cccf42e60ac8f (diff) | |
More progress. I think we are reaching the limit of what can be conveniently proved with the current implementation.
Diffstat (limited to 'hott/Nat.thy')
0 files changed, 0 insertions, 0 deletions