HoTT/HoTT — pull request #21 by andrejbauer (2012-10-12 18:22:41+00:00)
Title: Setting things up so we can work on ssreflect plugin for hoq

The purpose of these commits is to get ssreflect to compile with hoq, at the price of a few admit's.