HoTT/HoTT — pull request #26 by amahboubi (2012-10-19 14:46:27+00:00)
Title: Ssrhott

Ssreflect tactics working on a small but informative subset of libraries. One or two features still slightly shaky but it should be ok to play with it now.