log src/Equality.v

age author description
Fri, 02 Mar 2012 09:58:00 -0500 Adam Chlipala Move exercises out of mainline book
Tue, 08 Nov 2011 11:54:09 -0500 Adam Chlipala Pass over old Large material; index fixes
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'
Mon, 17 Jan 2011 15:12:30 -0500 Adam Chlipala Tweak mark-up to support coqdoc 8.3
Fri, 14 Jan 2011 14:55:32 -0500 Adam Chlipala Small tweak to keep things working in 8.2