diff options
| author | Josh Chen | 2019-03-01 20:05:00 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-03-01 20:05:00 +0100 |
| commit | 9ba47208278f7deea0dabed40a72fff89ecc5720 (patch) | |
| tree | ceed7267b68ebc156285d7edcae7cc11dc5a458b /HoTT_Methods.thy | |
| parent | 85fc133fa0d64c61c380fcecada8f8358ad4b773 (diff) | |
change id precedence
Diffstat (limited to 'HoTT_Methods.thy')
0 files changed, 0 insertions, 0 deletions