diff options
| author | Josh Chen | 2018-07-03 17:06:58 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-07-03 17:06:58 +0200 |
| commit | 9ffa5ed2a972db4ae6274a7852de37945a32ab0e (patch) | |
| tree | d44c0877ac0316834c3e566728608f686aaa38be /HoTT.thy | |
| parent | 14a5e50ab3ed54767a4432333642e9069ffa9109 (diff) | |
Rewrote methods: wellformed now two lines, uses named theorems. New, more powerful derive method. Used these to rewrite proofs.
Diffstat (limited to 'HoTT.thy')
0 files changed, 0 insertions, 0 deletions