log src/Equality.v

age author description
Sun, 06 Nov 2011 16:52:15 -0500 Adam Chlipala Discuss reduction of [fix]
Sun, 06 Nov 2011 16:25:45 -0500 Adam Chlipala Pass through old content of Equality
Wed, 07 Sep 2011 13:47:24 -0400 Adam Chlipala Rename Tactics; change 'principal typing' to 'principal types'