diff options
| author | Josh Chen | 2019-02-23 01:42:34 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-23 01:42:59 +0100 |
| commit | ad48f9176c58bdd4066389faa7a256fda8b58932 (patch) | |
| tree | 4238916ba89ee05fe51ba8467b9c24bdf2a3615f /HoTT_Methods.thy | |
| parent | ce2f78d04b78f7179729a1f5c792b1dc2ff3e1a8 (diff) | |
change mixfix pretty-printing indentation
Diffstat (limited to 'HoTT_Methods.thy')
0 files changed, 0 insertions, 0 deletions