diff options
author | Josh Chen | 2018-08-06 23:56:10 +0200 |
---|---|---|
committer | Josh Chen | 2018-08-06 23:56:10 +0200 |
commit | 4bab3b7f757f7cfbf86ad289b9d92b19a987043a (patch) | |
tree | e7af54428ac7a4f7129d3478b96ebf4152c4d201 /HoTT.thy | |
parent | f0234b685d09a801f83a7db91c94380873832bd5 (diff) |
Partway through changing function application syntax style.
Diffstat (limited to '')
-rw-r--r-- | HoTT.thy | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -12,9 +12,11 @@ HoTT_Base HoTT_Methods (* Types *) -Equal Prod Sum +Equal +Coprod +Nat (* Additional properties *) EqualProps |