Mercurial > urweb
log src/coq/Name.v
age | author | description |
---|---|---|
Tue, 24 Feb 2009 16:08:14 -0500 | Adam Chlipala | Coq formalization uses TDisjoint |
age | author | description |
---|---|---|
Tue, 24 Feb 2009 16:08:14 -0500 | Adam Chlipala | Coq formalization uses TDisjoint |