Mercurial > cpdt > repo
log
age | author | description |
---|---|---|
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 |
Sat, 27 Sep 2008 16:10:53 -0400 | Adam Chlipala | First-order logic |