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 |
Fri, 12 Sep 2008 16:55:37 -0400 | Adam Chlipala | Exercises |
Wed, 10 Sep 2008 15:47:22 -0400 | Adam Chlipala | Nested Inductive Types |
Wed, 03 Sep 2008 13:30:05 -0400 | Adam Chlipala | Squash book into main directory base book/src/Tactics.v@0f4beab7a783 |