Mercurial > cpdt > repo
diff latex/.dir @ 314:d5787b70cf48
Rename Tactics; change 'principal typing' to 'principal types'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 07 Sep 2011 13:47:24 -0400 |
parents | bcf375310f5f |
children |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 07 Sep 2011 13:47:24 -0400 |
parents | bcf375310f5f |
children |