diff options
| author | Josh Chen | 2018-09-19 11:57:22 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-09-19 11:57:22 +0200 |
| commit | 1305c6beca2448156b61649da1a719d055aaf7f7 (patch) | |
| tree | 81f1ea81350a70cfa27269c41f59e8640f9fd65a /Univalence.thy | |
| parent | f602cb54b39b3c1bb4f755db09bdeeb2f31a9559 (diff) | |
Not sure what advantage is provided by having eta-expanded forms in the rules. Removing for now.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions