Mercurial > cpdt > repo
comparison src/Tactics.v @ 58:1946586b9da7
First two exercises
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Mon, 29 Sep 2008 14:38:21 -0400 |
parents | 9ceee967b1fc |
children | 1a664ff9d2d1 |
comparison
equal
deleted
inserted
replaced
57:6f7142e082c0 | 58:1946586b9da7 |
---|