diff options
| author | Hugo Herbelin | 2020-08-17 23:03:50 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-08-18 08:00:55 +0200 |
| commit | 93d9f3e232dd92aef3f6a46a16fb52d8e1b8221e (patch) | |
| tree | 7ed54a4899ee9041d6b6e15b81939b72bad8bc20 /dev/header.py | |
| parent | ae5f5ba7f7e673dfeb06a9feaa4271fc165d01f3 (diff) | |
Tactic inversion: adding support for registration of an equality in Type.
Diffstat (limited to 'dev/header.py')
0 files changed, 0 insertions, 0 deletions