log src/Coinductive.v

age author description
Thu, 26 Jul 2012 19:05:12 -0400 Adam Chlipala Changes while hacking on coqdoc
Wed, 25 Jul 2012 16:46:53 -0400 Adam Chlipala Pass through Coinductive, to incorporate new coqdoc features
Fri, 08 Jun 2012 13:26:28 -0400 Adam Chlipala Typesetting pass over Coinductive
Wed, 06 Jun 2012 11:25:13 -0400 Adam Chlipala Get it working in Coq 8.4beta1; use nice coqdoc notation for italics
Sun, 22 Apr 2012 16:25:22 -0400 Adam Chlipala Citations for lazy data structures, Haskell 'deriving', and logic programming
Fri, 20 Apr 2012 12:49:47 -0400 Adam Chlipala Typo fixes
Sun, 08 Apr 2012 11:11:27 -0400 Adam Chlipala Strengthen last theorem of Coinductive
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
Fri, 02 Mar 2012 09:58:00 -0500 Adam Chlipala Move exercises out of mainline book
Wed, 26 Oct 2011 18:37:47 -0400 Adam Chlipala Co-inductive non-termination monads
Wed, 26 Oct 2011 15:12:21 -0400 Adam Chlipala Well-founded recursion
Tue, 25 Oct 2011 10:56:00 -0400 Adam Chlipala Fix template
Tue, 25 Oct 2011 10:51:31 -0400 Adam Chlipala Typo fix in template comment
Sun, 23 Oct 2011 14:48:52 -0400 Adam Chlipala Finished pass over Coinductive
Sun, 23 Oct 2011 13:33:46 -0400 Adam Chlipala Pass through Coinductive up to PL example
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 16:31:04 -0500 Adam Chlipala A pass of double-quotes and LaTeX operator beautification
Fri, 15 Oct 2010 09:50:34 -0400 Adam Chlipala PC's Chapter 5 comments
Wed, 11 Nov 2009 10:27:47 -0500 Adam Chlipala Start of MoreDep port; new [dep_destruct] based on [dependent destruction]
Mon, 09 Nov 2009 14:48:46 -0500 Adam Chlipala Ported Coinductive
Fri, 06 Nov 2009 12:15:05 -0500 Adam Chlipala 'make doc' works with 8.2
Sat, 03 Jan 2009 19:57:02 -0500 Adam Chlipala Feedback from Peter Gammie
Fri, 02 Jan 2009 08:57:25 -0500 Adam Chlipala Small fixes while reading student solutions
Sun, 12 Oct 2008 08:44:23 -0400 Adam Chlipala s/stream/tree
Tue, 07 Oct 2008 10:43:54 -0400 Adam Chlipala Get Coinductive compiling again
Sun, 05 Oct 2008 11:34:09 -0400 Adam Chlipala Coinductive exercise description
Wed, 01 Oct 2008 10:07:14 -0400 Adam Chlipala Template markers for Coinductive
Wed, 01 Oct 2008 09:56:32 -0400 Adam Chlipala Finish Coinductive chapter
Wed, 01 Oct 2008 09:32:36 -0400 Adam Chlipala Remove [done] markers after enhancement phase finishes
Tue, 30 Sep 2008 17:47:59 -0400 Adam Chlipala Co-inductive evaluation example
Tue, 30 Sep 2008 17:07:57 -0400 Adam Chlipala Co-equality
Tue, 30 Sep 2008 16:17:50 -0400 Adam Chlipala Start of Coinductive