log

age author description
Sun, 23 Mar 2014 16:20:08 -0400 Adam Chlipala Update links to classes using the book
Thu, 06 Feb 2014 15:54:01 -0500 Adam Chlipala Link to UMass course