Mercurial > urweb
log
age | author | description |
---|---|---|
Thu, 26 Feb 2009 13:56:54 -0500 | Adam Chlipala | Coq README |
Tue, 24 Feb 2009 16:08:14 -0500 | Adam Chlipala | Coq formalization uses TDisjoint |
Tue, 24 Feb 2009 15:54:05 -0500 | Adam Chlipala | Folder generation for functors |