Mercurial > cpdt > repo
log src/MoreSpecif.v
age | author | description |
---|---|---|
Mon, 16 Nov 2009 11:09:47 -0500 | Adam Chlipala | Port Reflection |
Tue, 28 Oct 2008 14:28:22 -0400 | Adam Chlipala | Code for my_tauto |
Tue, 28 Oct 2008 11:29:14 -0400 | Adam Chlipala | Start of Reflection |
Tue, 07 Oct 2008 10:49:07 -0400 | Adam Chlipala | Remove -impredicative-set |
Mon, 06 Oct 2008 14:33:11 -0400 | Adam Chlipala | Start of certified regexp matcher |
Fri, 03 Oct 2008 17:53:41 -0400 | Adam Chlipala | Expand MoreSpecif |
Fri, 03 Oct 2008 15:59:59 -0400 | Adam Chlipala | MoreSpecif |