add the correct normal form of univalence
authorAnders Mörtberg <andersmortberg@gmail.com>
Sat, 23 Jan 2016 17:36:05 +0000 (12:36 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Sat, 23 Jan 2016 17:36:05 +0000 (12:36 -0500)
commit6b15e72200a481b963adf8f5f1500f679165c03f
treef860a40b6ea0e28d35b9d6fffc6547fcf8d57fb4
parent34b0cddfa9dccbd77b306a8f586f1e9a8b367456
add the correct normal form of univalence
examples/nthmUniv.ctt [new file with mode: 0644]
examples/nunivalence.ctt [deleted file]