Mercurial > cpdt > repo
log src/Tactics.v
age | author | description |
---|---|---|
Tue, 30 Sep 2008 13:11:39 -0400 | Adam Chlipala | Beefed-up crush, with auto-inversion and lemma instantiation |
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 |