diff options
| author | Josh Chen | 2018-07-06 10:48:41 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-07-06 10:48:41 +0200 |
| commit | 76deb7ae15fa00b5498ab43db020a0364499251e (patch) | |
| tree | 706d25614154cf3767e1ad9e905a6074b620809a /HoTT_Theorems.thy | |
| parent | b65450369f992171f166a53e9cab408819cd987f (diff) | |
Added attributes to type elimination rules, not sure if these will actually be needed or useful later. Added [comp] attribute to be used by simplification met methods.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions