diff options
| author | Josh Chen | 2018-08-07 00:05:38 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-07 00:05:38 +0200 |
| commit | fdecdc58f50bdc4527eb7c10e37651e5fd9690aa (patch) | |
| tree | 4e9f99516ae763fa0c02e88018f680dc979fe5fb /EqualProps.thy | |
| parent | 4bab3b7f757f7cfbf86ad289b9d92b19a987043a (diff) | |
Experiment with polymorphic dependent eliminators, i.e. we leave type and type family decorations implicit.
Diffstat (limited to 'EqualProps.thy')
0 files changed, 0 insertions, 0 deletions