diff options
| author | Josh Chen | 2019-01-30 16:09:50 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-01-30 16:09:50 +0100 |
| commit | 843d53d64983593d765a203605cd2aab00ed8361 (patch) | |
| tree | ac046a92b5bcf63a37dff553f369f4c22593290d /ex/Methods.thy | |
| parent | a245a3e2194b4d5a6e7fbac8fa10598e96307e57 (diff) | |
Remove "constrained" notation for type families. Clean and document.
Diffstat (limited to 'ex/Methods.thy')
0 files changed, 0 insertions, 0 deletions