From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Tue, 5 Apr 2011 06:33:20 +0000 (+0000)
Subject: PreMonoidalCategories: remove the very last [[admit]]
X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=commitdiff_plain;h=5f3bdb7947de02d8d60f1af77c999a3c80f7dbba;hp=5f3bdb7947de02d8d60f1af77c999a3c80f7dbba

PreMonoidalCategories: remove the very last [[admit]]
---