HoTT/HoTT — pull request #644 by JasonGross (2014-12-16 09:45:52+00:00)
Title: Make use of new the tryif tactical in [test] and [not]

It's a cleaner way to write [test] and [not].

Also make [atomic] a bit more complete.