Mercurial > cpdt > repo
log
age | author | description |
---|---|---|
Sun, 28 Sep 2008 13:13:26 -0400 | Adam Chlipala | Spell-check |
Sun, 28 Sep 2008 12:44:50 -0400 | Adam Chlipala | Merge |
Sun, 28 Sep 2008 12:42:59 -0400 | Adam Chlipala | What could go wrong; some exercises |
Sun, 28 Sep 2008 12:44:05 -0400 | Adam Chlipala | What could go wrong; some exercises |
Sun, 28 Sep 2008 11:57:15 -0400 | Adam Chlipala | Recursive predicates |
Sun, 28 Sep 2008 10:59:04 -0400 | Adam Chlipala | Predicates with arguments |