log src/Generic.v

age author description
Sun, 22 Apr 2012 16:25:22 -0400 Adam Chlipala Citations for lazy data structures, Haskell 'deriving', and logic programming
Mon, 26 Mar 2012 16:55:59 -0400 Adam Chlipala Finish pass over LogicProg; change [crush] to take advantage of new [Hint Rewrite] syntax that uses database [core] by default
Wed, 02 Nov 2011 14:48:25 -0400 Adam Chlipala Pass through old content of Reflection
Tue, 01 Nov 2011 12:34:00 -0400 Adam Chlipala Tweak Generic templating
Mon, 31 Oct 2011 14:24:16 -0400 Adam Chlipala Pass over Generic
Wed, 26 Oct 2011 11:19:52 -0400 Adam Chlipala Stub out new chapter
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
Wed, 10 Nov 2010 13:16:12 -0500 Adam Chlipala PC changes to Equality and Generic
Fri, 13 Nov 2009 12:03:08 -0500 Adam Chlipala Port Generic
Wed, 11 Nov 2009 14:28:47 -0500 Adam Chlipala Switch DepList to inductive, not recursive, types
Wed, 11 Nov 2009 14:00:04 -0500 Adam Chlipala Port DataStruct
Fri, 28 Nov 2008 14:21:38 -0500 Adam Chlipala Templatize Generic
Fri, 28 Nov 2008 14:10:23 -0500 Adam Chlipala map_id
Fri, 28 Nov 2008 13:38:34 -0500 Adam Chlipala size_positive
Fri, 28 Nov 2008 11:42:07 -0500 Adam Chlipala Pretty-printing
Fri, 28 Nov 2008 11:21:01 -0500 Adam Chlipala Generic size examples
Fri, 28 Nov 2008 09:55:56 -0500 Adam Chlipala Start of Generic