diff options
| author | Josh Chen | 2019-02-17 23:15:02 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-17 23:15:02 +0100 |
| commit | 7f932806cf445db589c32429f396d6ccbc086476 (patch) | |
| tree | f880a388317378c1c9ca69f319f18803bb47363f /Prod.thy | |
| parent | ff95b7b5113121d06662ed1508e90fadeb05c161 (diff) | |
Dependent elimator for Eq now has the correct form. Cleaned up theorems
Diffstat (limited to 'Prod.thy')
0 files changed, 0 insertions, 0 deletions