log src/Universes.v

age author description
Wed, 06 Jun 2012 11:25:13 -0400 Adam Chlipala Get it working in Coq 8.4beta1; use nice coqdoc notation for italics
Fri, 20 Apr 2012 12:49:47 -0400 Adam Chlipala Typo fixes
Thu, 12 Apr 2012 16:27:28 -0400 Adam Chlipala Baffling unification messages explained